Search results for: J. A. Bergstra
Fundamenta Informaticae > 2021 > Vol. 179, nr 4 > 321--344
Theory of Computing Systems > 2019 > 63 > 3 > 488-505
Fundamenta Informaticae > 2017 > Vol. 153, nr 1/2 > 29--55
Fundamenta Informaticae > 2016 > Vol. 149, nr 3 > 297--309
Lecture Notes in Computer Science > CONCUR '91 > 96-110
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 50-122
Lecture Notes in Computer Science > CONCUR '92 > 472-485
Lecture Notes in Computer Science > CONCUR '92 > 401-420
Lecture Notes in Computer Science > Fundamentals of Computation Theory > Algebraic & Constructive Theory of Machines, Computations and Languages > 33-38
Lecture Notes in Computer Science > CONCUR'93 > 308-323
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 473-492