| 6351 | Logic Programming, Substitutions and Finite Computability (10.7146/dpb.v13i186.7459) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6352 | Formalizations in Systems Development (10.7146/dpb.v14i193.7465) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6353 | Problem-heap: A Paradigm for Multiprocessor Algorithms (10.7146/dpb.v14i200.7472) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6354 | A Denotational Semantics for Logic Programming (10.7146/dpb.v14i201.7552) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6355 | On Models and their Rôle in the Use of Computers (10.7146/dpb.v14i202.7580) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6356 | Notions of Realizable Non-Sequential Processes (10.7146/dpb.v15i205.7556) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6357 | The Potential Use of Action Semantics in Standards (10.7146/dpb.v15i206.7557) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6358 | Free Blackboards and Anarchic Communities of Experts (10.7146/dpb.v15i207.7558) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6359 | Inheritance Used to Factorize: Distributed Termination Detec… (10.7146/dpb.v15i210.7561) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6360 | Block Structure and Object-Oriented Languages (10.7146/dpb.v16i230.7579) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6361 | An Object-Oriented Metaprogramming System (10.7146/dpb.v16i236.7592) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6362 | An Algebraic Model for Bounding Threshold Circuit Depth (10.7146/dpb.v17i239.7595) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6363 | The Depth Efficacy of Unbounded: Characteristic Finite Field… (10.7146/dpb.v17i240.7596) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6364 | Design and Professional Languages (10.7146/dpb.v17i244.7600) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6365 | A Feeling for Systems Development Work: - Design of the ROSA… (10.7146/dpb.v17i246.7602) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6366 | Transaction Supporting Systems and Organisational Change (10.7146/dpb.v17i248.7604) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6367 | In Search of Cooperation: An Historical Analysis of Work Org… (10.7146/dpb.v17i256.7611) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6368 | Unified Algebras and Action Semantics (10.7146/dpb.v18i272.7626) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6369 | Semantic Domains and Denotational Semantics (10.7146/dpb.v18i276.7630) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6370 | PB-277 Literal resolution: A Simple Proof of Resolution Comp… (10.7146/dpb.v18i277.6654) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6371 | A Note on Model Cheking the Modal v-calculus (10.7146/dpb.v18i279.6656) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6372 | DI-Domains as Information Systems* (10.7146/dpb.v18i282.6659) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6373 | A Denotational Semantics af Inheritance and its Correctness (10.7146/dpb.v18i284.6662) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6374 | Static Correctness of Hierarchical Procedures (10.7146/dpb.v18i295.6689) | References ORCID License | 22.58 | 1 | 2245-9316 |
| 6375 | Reusability and Tailorability in the Mjølner BETA System (10.7146/dpb.v19i300.6694) | References ORCID License | 22.58 | 1 | 2245-9316 |