| Publication | Date of Publication | Type |
|---|
| A tale of two jewels for Jonathan Seldin | 2024-09-06 | Paper |
| Confluence of the Chinese Monoid | 2024-03-14 | Paper |
Extended term rewriting systems
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
Infinitary lambda calculi and böhm models
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Transfinite reductions in orthogonal term rewriting systems
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Open problems in rewriting
Rewriting Techniques and Applications | 2022-12-09 | Paper |
More problems in rewriting
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Termination for the direct sum of left-linear term rewriting systems
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Problems in rewriting III
Rewriting Techniques and Applications | 2022-12-09 | Paper |
scientific article; zbMATH DE number 7379291 (Why is no real title available?)
(available as arXiv preprint) | 2021-08-05 | Paper |
| Decreasing diagrams with two labels are complete for confluence of countable systems | 2021-06-15 | Paper |
Transducer degrees: atoms, infima and suprema
Acta Informatica | 2020-05-26 | Paper |
scientific article; zbMATH DE number 7199582 (Why is no real title available?)
(available as arXiv preprint) | 2020-05-12 | Paper |
| scientific article; zbMATH DE number 7199582 (Why is no real title available?) | 2020-05-12 | Paper |
| scientific article; zbMATH DE number 7084951 (Why is no real title available?) | 2019-07-24 | Paper |
Braids via term rewriting
Theoretical Computer Science | 2019-06-18 | Paper |
Term graph rewriting
Higher-Order Algebra, Logic, and Term Rewriting | 2019-01-11 | Paper |
Collapsing partial combinatory algebras
Higher-Order Algebra, Logic, and Term Rewriting | 2019-01-11 | Paper |
Degrees of infinite words, polynomials and atoms
International Journal of Foundations of Computer Science | 2018-09-20 | Paper |
| Streams are forever | 2018-09-04 | Paper |
| scientific article; zbMATH DE number 6931785 (Why is no real title available?) | 2018-09-04 | Paper |
Clocked lambda calculus
Mathematical Structures in Computer Science | 2017-06-14 | Paper |
Automatic sequences and zip-specifications
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Degrees of Infinite Words, Polynomials and Atoms
Developments in Language Theory | 2016-08-30 | Paper |
Degrees of transducibility
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Reflections on a Geometry of Processes
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
| scientific article; zbMATH DE number 6341733 (Why is no real title available?) | 2014-09-09 | Paper |
Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician
Indagationes Mathematicae. New Series | 2014-09-03 | Paper |
De Bruijn's weak diamond property revisited
Indagationes Mathematicae. New Series | 2014-09-03 | Paper |
Discriminating lambda-terms using clocked Böhm trees
Logical Methods in Computer Science | 2014-06-10 | Paper |
Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples
Logical Methods in Computer Science | 2014-06-10 | Paper |
Clocks for Functional Programs
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Degrees of streams
Integers | 2013-10-25 | Paper |
| Vicious circles in orthogonal term rewriting systems | 2013-09-20 | Paper |
Highlights in infinitary rewriting and lambda calculus
Theoretical Computer Science | 2013-01-07 | Paper |
| Unique normal forms in infinitary weakly orthogonal rewriting | 2012-04-25 | Paper |
| Arithmetic Self-Similarity of Infinite Sequences | 2012-01-18 | Paper |
On equal -terms
Theoretical Computer Science | 2011-07-07 | Paper |
The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \)
Theoretical Computer Science | 2011-07-07 | Paper |
| Infinitary normalization | 2011-07-06 | Paper |
Productivity of stream definitions
Theoretical Computer Science | 2010-02-09 | Paper |
Proving Infinitary Normalization
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Applications of infinitary lambda calculus
Information and Computation | 2009-06-08 | Paper |
Reduction Strategies and Acyclicity
Rewriting, Computation and Proof | 2009-03-06 | Paper |
Lambda calculus with patterns
Theoretical Computer Science | 2008-06-24 | Paper |
Productivity of Stream Definitions
Fundamentals of Computation Theory | 2008-02-26 | Paper |
Iterative Lexicographic Path Orders
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Some Remarks on Definability of Process Graphs
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Computing with actions and communications
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2007-08-10 | Paper |
Descendants and origins in term rewriting.
Information and Computation | 2003-01-14 | Paper |
Bisimilarity in term graph rewriting.
Information and Computation | 2003-01-14 | Paper |
Linear time and branching time semantics for recursion with merge
Theoretical Computer Science | 2002-05-13 | Paper |
A geometric proof of confluence by decreasing diagrams
Journal Of Logic And Computation | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1479633 (Why is no real title available?) | 2000-07-20 | Paper |
Extending partial combinatory algebras
Mathematical Structures in Computer Science | 1999-11-25 | Paper |
| scientific article; zbMATH DE number 1231589 (Why is no real title available?) | 1998-12-21 | Paper |
Diagram techniques for confluence
Information and Computation | 1998-11-10 | Paper |
Infinitary lambda calculus
Theoretical Computer Science | 1998-07-23 | Paper |
Lambda calculus with explicit recursion
Information and Computation | 1998-07-15 | Paper |
Termination for direct sums of left-linear complete term rewriting systems
Journal of the ACM | 1998-01-28 | Paper |
| scientific article; zbMATH DE number 919844 (Why is no real title available?) | 1996-08-25 | Paper |
Comparing curried and uncurried rewriting
Journal of Symbolic Computation | 1996-08-22 | Paper |
| scientific article; zbMATH DE number 845594 (Why is no real title available?) | 1996-07-17 | Paper |
| scientific article; zbMATH DE number 845595 (Why is no real title available?) | 1996-04-22 | Paper |
Transfinite reductions in orthogonal term rewriting systems
Information and Computation | 1995-08-01 | Paper |
| scientific article; zbMATH DE number 759438 (Why is no real title available?) | 1995-05-30 | Paper |
Combinatory reduction systems: Introduction and survey
Theoretical Computer Science | 1994-09-26 | Paper |
Modularity of confluence: A simplified proof
Information Processing Letters | 1994-04-04 | Paper |
Decidability of bisimulation equivalence for process generating context-free languages
Journal of the ACM | 1993-12-09 | Paper |
| scientific article; zbMATH DE number 177826 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 139606 (Why is no real title available?) | 1993-03-28 | Paper |
Sequentiality in orthogonal term rewriting systems
Journal of Symbolic Computation | 1992-06-28 | Paper |
An analysis of loop checking mechanisms for logic programs
Theoretical Computer Science | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4119652 (Why is no real title available?) | 1989-01-01 | Paper |
Unique normal forms for lambda calculus with surjective pairing
Information and Computation | 1989-01-01 | Paper |
Term-rewriting systems with rule priorities
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4076598 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4056992 (Why is no real title available?) | 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 4090779 (Why is no real title available?) | 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 3987288 (Why is no real title available?) | 1987-01-01 | Paper |
On the consistency of Koomen's fair abstraction rule
Theoretical Computer Science | 1987-01-01 | Paper |
Needed reduction and spine strategies for the lambda calculus
Information and Computation | 1987-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 |
Conditional rewrite rules: Confluence and termination
Journal of Computer and System Sciences | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3928334 (Why is no real title available?) | 1985-01-01 | Paper |
Algebra of communicating processes with abstraction
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3894457 (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 |
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 |
| 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 |
| 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 3755838 (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 |
| scientific article; zbMATH DE number 3725676 (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 3744506 (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 3730111 (Why is no real title available?) | 1980-01-01 | Paper |
Invertible terms in the lambda calculus
Theoretical Computer Science | 1980-01-01 | Paper |
Church-Rosser strategies in the lambda calculus
Theoretical Computer Science | 1979-01-01 | Paper |
Degrees of sensible lambda theories
Journal of Symbolic Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3619856 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3520383 (Why is no real title available?) | 1975-01-01 | Paper |
