| Publication | Date of Publication | Type |
|---|
Conditional logic as a short-circuit logic
Scientific Annals of Computer Science | 2026-01-21 | Paper |
| Finite approximations of the common meadow of rational numbers | 2025-10-29 | Paper |
Logical models of mathematical texts. II: legality conventions for division by zero in inconsistent contexts
Journal of Logic, Language and Information | 2025-10-21 | Paper |
Precautionary logic and ignorance interval transfer mediated inference
Scientific Annals of Computer Science | 2025-07-14 | Paper |
For rational numbers with Suppes-Ono division, equational validity is one-one equivalent with Diophantine unsolvability
Theoretical Computer Science | 2025-03-11 | Paper |
A complete finite axiomatisation of the equational theory of common meadows
ACM Transactions on Computational Logic | 2025-02-14 | Paper |
Logical models of mathematical texts: the case of conventions for division by zero.
Journal of Logic, Language and Information | 2025-01-13 | Paper |
A survey of testing for instruction sequence theory
Scientific Annals of Computer Science | 2024-08-15 | Paper |
Which arithmetical data types admit fracterm flattening?
Scientific Annals of Computer Science | 2024-08-15 | Paper |
Four notions of fault for program specifications
Scientific Annals of Computer Science | 2024-08-15 | Paper |
Symmetric transrationals: the data type and the algorithmic degree of its equational theory
Lecture Notes in Computer Science | 2023-07-26 | Paper |
Eager Equality for Rational Number Arithmetic
ACM Transactions on Computational Logic | 2023-07-18 | Paper |
Bounded stacks, bags and queues
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
Discrete time process algebra with abstraction
Fundamentals of Computation Theory | 2022-12-09 | Paper |
Processes with multiple entries and exits
Fundamentals of Computation Theory | 2022-12-09 | Paper |
Partial arithmetical data types of rational numbers and their equational specification
Journal of Logical and Algebraic Methods in Programming | 2022-08-26 | Paper |
Program algebra for Turing-machine programs
Scientific Annals of Computer Science | 2022-07-19 | Paper |
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
Scientific Annals of Computer Science | 2022-07-19 | Paper |
Sumterms, summands, sumtuples, and sums and the meta-arithmetic of summation
Scientific Annals of Computer Science | 2022-07-19 | Paper |
Adams Conditioning and Likelihood Ratio Transfer Mediated Inference
Scientific Annals of Computer Science | 2022-07-19 | Paper |
Instruction sequence faults with formal change justification
Scientific Annals of Computer Science | 2022-07-19 | Paper |
Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent
Scientific Annals of Computer Science | 2022-07-19 | Paper |
Non-commutative propositional logic with short-circuit evaluation
Journal of Applied Non-Classical Logics | 2022-03-03 | Paper |
Using Hoare logic in a process algebra setting
Fundamenta Informaticae | 2021-11-15 | Paper |
| The wheel of rational numbers as an abstract data type | 2021-10-27 | Paper |
Datatype defining rewrite systems for naturals and integers
(available as arXiv preprint) | 2021-03-26 | Paper |
| Datatype defining rewrite systems for naturals and integers | 2021-03-26 | Paper |
A short introduction to program algebra with instructions for Boolean registers
Computer Science Journal of Moldova | 2020-11-02 | Paper |
A short introduction to program algebra with instructions for Boolean registers
Computer Science Journal of Moldova | 2020-11-02 | Paper |
Quantitative expressiveness of instruction sequence classes for computation on single bit registers
Computer Science Journal of Moldova | 2020-11-02 | Paper |
Quantitative expressiveness of instruction sequence classes for computation on single bit registers
Computer Science Journal of Moldova | 2020-11-02 | Paper |
Sumterms, Summands, Sumtuples, and Sums and the Meta-arithmetic of Summation
(available as arXiv preprint) | 2020-09-18 | Paper |
Arithmetical datatypes with true fractions
Acta Informatica | 2020-05-26 | Paper |
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
On the complexity of the correctness problem for non-zeroness test instruction sequences
Theoretical Computer Science | 2019-11-22 | Paper |
A negative result on algebraic specifications of the meadow of rational numbers
(available as arXiv preprint) | 2019-07-24 | Paper |
Process algebra with strategic interleaving
Theory of Computing Systems | 2019-06-27 | Paper |
Subvarieties of the Variety of Meadows
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Probabilistic thread algebra
Scientific Annals of Computer Science | 2019-02-08 | Paper |
On instruction sets for Boolean registers in program algebra
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Instruction sequence based non-uniform complexity classes
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Axioms for behavioural congruence of single-pass instruction sequences
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Indirect jumps improve instruction sequence performance
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Timed tuplix calculus and the Wesseling and van den Bergh equation
Scientific Annals of Computer Science | 2019-02-08 | Paper |
A Hoare-like logic of asserted single-pass instruction sequences
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Instruction sequences expressing multiplication algorithms
Scientific Annals of Computer Science | 2019-02-08 | Paper |
| scientific article; zbMATH DE number 7020130 (Why is no real title available?) | 2019-02-08 | Paper |
| An instruction sequence semigroup with involutive anti-automorphisms | 2019-02-08 | Paper |
| Thread extraction for polyadic instruction sequences | 2019-02-08 | Paper |
Note on paraconsistency and reasoning about fractions
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
| scientific article; zbMATH DE number 6931785 (Why is no real title available?) | 2018-09-04 | Paper |
Contradiction-Tolerant Process Algebra with Propositional Signals
Fundamenta Informaticae | 2018-01-05 | Paper |
Instruction sequence size complexity of parity
Fundamenta Informaticae | 2017-11-09 | Paper |
| Universality of Univariate Mixed Fractions in Divisive Meadows | 2017-07-03 | Paper |
| Equational Axioms for Expected Value Operators | 2016-09-09 | Paper |
| Instruction sequences with indirect jumps | 2016-08-05 | Paper |
| Programming an interpreter using molecular dynamics | 2016-08-05 | Paper |
Transformation of fractions into simple fractions in divisive meadows
Journal of Applied Logic | 2016-06-30 | Paper |
Fracpairs and fractions over a reduced commutative ring
Indagationes Mathematicae. New Series | 2016-06-20 | Paper |
Kleene's three-valued logic and process algebra
Information Processing Letters | 2016-06-09 | Paper |
On algorithmic equivalence of instruction sequences for computing bit string functions
Fundamenta Informaticae | 2016-04-28 | Paper |
Evaluation trees for proposition algebra
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Register-machine based processes
Journal of the ACM | 2015-10-30 | Paper |
Proposition algebra
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Division by zero in common meadows
Software, Services, and Systems | 2015-06-22 | Paper |
Division by zero in common meadows
Software, Services, and Systems | 2015-06-22 | Paper |
Equations for formally real meadows
Journal of Applied Logic | 2015-05-15 | Paper |
Division by zero in non-involutive meadows
Journal of Applied Logic | 2015-03-24 | Paper |
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Fundamenta Informaticae | 2014-04-25 | Paper |
Parallel processes with implicit computational capital
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
A process calculus with finitary comprehended terms
Theory of Computing Systems | 2013-12-02 | Paper |
On the behaviours produced by instruction sequences under execution
Fundamenta Informaticae | 2013-01-14 | Paper |
On the contribution of backward jumps to instruction sequence expressiveness
Theory of Computing Systems | 2012-12-06 | Paper |
On the expressiveness of single-pass instruction sequences
Theory of Computing Systems | 2012-12-06 | Paper |
Instruction sequence processing operators
Acta Informatica | 2012-10-15 | Paper |
Instruction sequences for computer science.
Atlantis Studies in Computing | 2012-08-20 | Paper |
Proposition algebra and short-circuit logic
Fundamentals of Software Engineering | 2012-06-29 | Paper |
Inversive meadows and divisive meadows
Journal of Applied Logic | 2012-05-23 | Paper |
Thread algebra for poly-threading
Formal Aspects of Computing | 2011-10-18 | Paper |
A calculus for four-valued sequential logic
Theoretical Computer Science | 2011-07-07 | Paper |
Straight-line instruction sequence completeness for total calculation on cancellation meadows
Theory of Computing Systems | 2011-05-25 | Paper |
Data linkage dynamics with shedding
Fundamenta Informaticae | 2011-05-18 | Paper |
| On Hoare-McCarthy algebras | 2010-12-22 | Paper |
| Short-circuit logic | 2010-10-18 | Paper |
An Interface Group for Process Components
Fundamenta Informaticae | 2010-10-01 | Paper |
A thread calculus with molecular dynamics
Information and Computation | 2010-08-18 | Paper |
On the operating unit size of load/store architectures
Mathematical Structures in Computer Science | 2010-06-02 | Paper |
Instruction sequences with dynamically instantiated instructions
Fundamenta Informaticae | 2010-02-05 | Paper |
An upper bound for the equational specification of finite state services
Information Processing Letters | 2009-12-04 | Paper |
Machine structure oriented control code logic
Acta Informatica | 2009-10-02 | Paper |
| Partial Komori fields and imperative Komori fields | 2009-09-29 | Paper |
Transmission Protocols for Instruction Streams
Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
Division safe calculation in totalised fields
Theory of Computing Systems | 2009-05-08 | Paper |
Meadows and the equational specification of division
Theoretical Computer Science | 2009-03-25 | Paper |
| Skew Meadows | 2009-01-07 | Paper |
The rational numbers as an abstract data type
Journal of the ACM | 2008-12-21 | Paper |
Program algebra with a jump-shift instruction
Journal of Applied Logic | 2008-12-11 | Paper |
| Differential Meadows | 2008-04-21 | Paper |
| scientific article; zbMATH DE number 5263139 (Why is no real title available?) | 2008-04-14 | Paper |
Maurer computers for pipelined instruction processing
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
Simulating Turing machines on Maurer machines
Journal of Applied Logic | 2008-04-07 | Paper |
| Cancellation Meadows: a Generic Basis Theorem and Some Applications | 2008-03-27 | Paper |
Fields, Meadows and Abstract Data Types
Pillars of Computer Science | 2008-03-25 | Paper |
| scientific article; zbMATH DE number 5222378 (Why is no real title available?) | 2008-01-02 | Paper |
Synchronous cooperation for explicit multi-threading
Acta Informatica | 2007-12-10 | Paper |
Thread algebra for strategic interleaving
Formal Aspects of Computing | 2007-11-28 | Paper |
Elementary Algebraic Specifications of the Rational Complex Numbers
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
A thread algebra with multi-level strategic interleaving
Theory of Computing Systems | 2007-09-06 | Paper |
Decision problems for pushdown threads
Acta Informatica | 2007-06-07 | Paper |
Execution architectures for program algebra
Journal of Applied Logic | 2007-05-18 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Preferential choice and coordination conditions
The Journal of Logic and Algebraic Programming | 2007-02-09 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Splitting bisimulations and retrospective conditions
Information and Computation | 2006-08-16 | Paper |
| Thread algebra with multi-level strategies | 2006-08-03 | Paper |
Continuity controlled hybrid automata
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
Polarized process algebra with reactive composition
Theoretical Computer Science | 2005-11-01 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Process algebra for hybrid systems
Theoretical Computer Science | 2005-06-10 | Paper |
Network algebra in Java
The Journal of Logic and Algebraic Programming | 2005-02-22 | Paper |
| scientific article; zbMATH DE number 2113973 (Why is no real title available?) | 2004-11-05 | Paper |
Branching time and orthogonal bisimulation equivalence
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2038694 (Why is no real title available?) | 2004-02-08 | Paper |
Process algebra with four-valued logic
Journal of Applied Non-Classical Logics | 2004-01-13 | Paper |
| Discrete time process algebra and the semantics of SDL | 2003-09-30 | Paper |
Program algebra for sequential code
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
Molecular dynamics
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
Combining programs and state machines
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
Algebra of timed frames
International Journal of Computer Mathematics | 2002-12-19 | Paper |
| scientific article; zbMATH DE number 1788307 (Why is no real title available?) | 2002-08-25 | Paper |
Process algebra and conditional composition
Information Processing Letters | 2002-07-25 | Paper |
Linear time and branching time semantics for recursion with merge
Theoretical Computer Science | 2002-05-13 | Paper |
Non-regular iterators in process algebra
Theoretical Computer Science | 2002-03-03 | Paper |
| Process algebra with recursive operations | 2001-12-18 | Paper |
| Program algebra and coprogram calculus | 2001-10-21 | Paper |
Bochvar-McCarthy logic and process algebra
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| scientific article; zbMATH DE number 1555176 (Why is no real title available?) | 2001-01-22 | Paper |
| scientific article; zbMATH DE number 1536546 (Why is no real title available?) | 2000-11-28 | Paper |
Program algebra for component code
Formal Aspects of Computing | 2000-11-14 | Paper |
| scientific article; zbMATH DE number 1507231 (Why is no real title available?) | 2000-09-14 | Paper |
On sequential composition, action prefixes and process prefix
Formal Aspects of Computing | 2000-08-14 | Paper |
Real space process algebra
Formal Aspects of Computing | 2000-08-02 | Paper |
The discrete time TOOLBUS. -- A software coordination architecture
Science of Computer Programming | 2000-01-04 | Paper |
| scientific article; zbMATH DE number 1231679 (Why is no real title available?) | 1999-01-07 | Paper |
Process algebra with propositional signals
Theoretical Computer Science | 1998-07-23 | Paper |
Network algebra for asynchronous dataflow<sup>∗</sup>
International Journal of Computer Mathematics | 1998-03-04 | Paper |
Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
Journal of the ACM | 1998-01-28 | Paper |
| scientific article; zbMATH DE number 919840 (Why is no real title available?) | 1996-08-25 | Paper |
A propositional logic with 4 values: true, false, divergent and meaningless
Journal of Applied Non-Classical Logics | 1996-08-15 | Paper |
| scientific article; zbMATH DE number 845594 (Why is no real title available?) | 1996-07-17 | Paper |
Discrete time process algebra
Formal Aspects of Computing | 1996-06-02 | Paper |
| scientific article; zbMATH DE number 845595 (Why is no real title available?) | 1996-04-22 | Paper |
Axiomatizing probabilistic processes: ACP with generative probabilities
Information and Computation | 1996-01-22 | Paper |
Logic of transition systems
Journal of Logic, Language and Information | 1995-09-26 | Paper |
Homomorphism preserving algebraic specifications require hidden sorts
Information and Computation | 1995-08-01 | Paper |
The data type variety of stack algebras
Annals of Pure and Applied Logic | 1995-05-30 | Paper |
Bisimulation is two-way simulation
Information Processing Letters | 1995-02-09 | Paper |
Which data types have -complete initial algebra specifications?
Theoretical Computer Science | 1994-04-05 | Paper |
| scientific article; zbMATH DE number 522842 (Why is no real title available?) | 1994-03-24 | Paper |
Decidability of bisimulation equivalence for process generating context-free languages
Journal of the ACM | 1993-12-09 | Paper |
| scientific article; zbMATH DE number 139606 (Why is no real title available?) | 1993-03-28 | Paper |
UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY
International Journal of Foundations of Computer Science | 1992-06-28 | Paper |
Real time process algebra
Formal Aspects of Computing | 1991-01-01 | Paper |
Recursive process definitions with the state operator
Theoretical Computer Science | 1991-01-01 | Paper |
Module algebra
Journal of the ACM | 1990-01-01 | Paper |
Term-rewriting systems with rule priorities
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4119652 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4164152 (Why is no real title available?) | 1989-01-01 | Paper |
Global renaming operators in concrete process algebra
Information and Computation | 1988-01-01 | Paper |
Readies and Failures in the Algebra of Communicating Processes
SIAM Journal on Computing | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4056992 (Why is no real title available?) | 1988-01-01 | Paper |
On the consistency of Koomen's fair abstraction rule
Theoretical Computer Science | 1987-01-01 | Paper |
Algebraic specifications of computable and semicomputable data types
Theoretical Computer Science | 1987-01-01 | Paper |
Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
The Computer Journal | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4035115 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4074466 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4037178 (Why is no real title available?) | 1987-01-01 | Paper |
Conditional rewrite rules: Confluence and termination
Journal of Computer and System Sciences | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4016181 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4001464 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3978362 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3958712 (Why is no real title available?) | 1986-01-01 | Paper |
Algebra of communicating processes with abstraction
Theoretical Computer Science | 1985-01-01 | Paper |
Top-down design and the algebra of communicating processes
Science of Computer Programming | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3928334 (Why is no real title available?) | 1985-01-01 | Paper |
Process algebra for synchronous communication
Information and Control | 1984-01-01 | Paper |
Proving program inclusion using Hoare's logic
Theoretical Computer Science | 1984-01-01 | Paper |
Hoare's logic for programming languages with two data types
Theoretical Computer Science | 1984-01-01 | Paper |
The axiomatic semantics of programs based on Hoare's logic
Acta Informatica | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3894457 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3883588 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3900148 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3862421 (Why is no real title available?) | 1984-01-01 | Paper |
Hoare's logic and Peano's arithmetic
Theoretical Computer Science | 1983-01-01 | Paper |
Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
SIAM Journal on Computing | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3837348 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3808929 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819069 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3817022 (Why is no real title available?) | 1983-01-01 | Paper |
The completeness of the algebraic specification methods for computable data types
Information and Control | 1982-01-01 | Paper |
Another incompleteness result for Hoare's logic
Information and Control | 1982-01-01 | Paper |
Expressiveness and the completeness of Hoare's logic
Journal of Computer and System Sciences | 1982-01-01 | Paper |
Floyd's principle, correctness theories and program equivalence
Theoretical Computer Science | 1982-01-01 | Paper |
Two theorems about the completeness of Hoare's logic
Information Processing Letters | 1982-01-01 | Paper |
Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs
Theoretical Computer Science | 1982-01-01 | Paper |
A simple transfer lemma for algebraic specifications
Information Processing Letters | 1982-01-01 | Paper |
On the elimination of iteration quantifiers in a fragment of algorithmic logic
Theoretical Computer Science | 1982-01-01 | Paper |
A simple transfer lemma for algebraic specifications
Information Processing Letters | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3876566 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3770925 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3755852 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3795350 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3860376 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3874585 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3827823 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3750265 (Why is no real title available?) | 1982-01-01 | Paper |
Small specifications for large finite data structures
International Journal of Computer Mathematics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3723836 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3782408 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3731315 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3713172 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3713173 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3729430 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3744506 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3767021 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3731320 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3731314 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3767016 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3770924 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3794056 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3894453 (Why is no real title available?) | 1981-01-01 | Paper |
Invertible terms in the lambda calculus
Theoretical Computer Science | 1980-01-01 | Paper |
Discourse between processes
Notre Dame Journal of Formal Logic | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3703962 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3754027 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3683036 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3688693 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3671657 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3655327 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3655328 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3662553 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3700187 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3683037 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3686782 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3700186 (Why is no real title available?) | 1980-01-01 | Paper |
Effective Transformations on Probabilistic Data
Mathematical Logic Quarterly | 1979-01-01 | Paper |
Recursion theory on processes
International Journal of Computer Mathematics | 1979-01-01 | Paper |
Recursive assertions are not enough - or are they?
Theoretical Computer Science | 1979-01-01 | Paper |
Church-Rosser strategies in the lambda calculus
Theoretical Computer Science | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3649971 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3653518 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3714905 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3651723 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3651720 (Why is no real title available?) | 1979-01-01 | Paper |
Degrees of sensible lambda theories
Journal of Symbolic Logic | 1978-01-01 | Paper |
What is an abstract datatype?
Information Processing Letters | 1978-01-01 | Paper |
Degrees of partial functions
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3597854 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3566150 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3619856 (Why is no real title available?) | 1976-01-01 | Paper |
