search result

Cover von The Ackermann Award 2018

The Ackermann Award 2018

Year: 2018
Media group: LIPIcs
Cover von Practical coinduction

Practical coinduction

Year: 2017
Coalgebraic Logic
Media group: ARTICLE
Cover von Kleene Algebra with Products and Iteration Theories

Kleene Algebra with Products and Iteration Theories

Year: 2013
Media group: LIPIcs
Cover von Applications of Kleene Algebra
18.02. - 23.02.01, Seminar Nr. 01081
Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 298
Media group: DAGSTUHL-SEMINAR-REP
Cover von Logic and program semantics
Essays dedicated to Dexter Kozen on the Occasion of his 60th Birthday
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 7230
Media group: MONOGRAPHIE
Cover von Dynamic logic
Author: Harel, David; Kozen, Dexter C.; Tiuryn, Jerzy Search for this author
Year: 2000
Publisher: Cambridge, MIT Press
Series: Foundations of computing
Media group: MONOGRAPHIE
Cover von Applications of tree automata in rewriting, logic and programming
20.10. - 24.10.97 (9743)
Search for this author
Year: 1997
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 193
Media group: DAGSTUHL-SEMINAR-REP
Cover von Algebraic complexity and parallelism
20.7. - 24.7.92 (9230)
Search for this author
Year: 1992
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 41
Media group: DAGSTUHL-SEMINAR-REP
Cover von Guarded Kleene Algebra with Tests

Guarded Kleene Algebra with Tests

Coequations, Coinduction, and Completeness
Year: 2021
Media group: LIPIcs
Cover von Well-founded coalgebras, revisited

Well-founded coalgebras, revisited

Year: 2017
Coalgebraic Logic
Media group: ARTICLE
OPEN V 11.1.0.0