search result

Cover von Finite transition systems
semantics of communicating systems
Author: Arnold, André Search for this author
Year: 1994
Publisher: Hemel Hempstead, Prentice Hall
Series: Prentice Hall international series in computer science
Media group: MONOGRAPHIE
Cover von Selected papers of the fifteenth colloquium on trees in algebra and programming (CAAP '90)
Copenhagen, Denmark, May 15-18, 1990
Search for this author
Year: 1992
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 106. 1992, 1
Media group: SPECIAL ISSUE
Cover von CAAP '90
15th colloquium on trees in algebra and programming : Copenhagen, Denmark, May 15 - 18, 1990 : proceedings
Search for this author
Year: 1990
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 431
Media group: MONOGRAPHIE
Cover von Automata theory
distributed models : 11.01. - 15.01.93 (9302)
Search for this author
Year: 1993
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 54
Media group: DAGSTUHL-SEMINAR-REP
Cover von On the Separation Question for Tree Languages; 4
article : pp. 833-855
Search for this author
Year: 2014
Publisher: Berlin, Springer
Count: 4
Media group: ARTICLE
Cover von On the separation question for tree languages

On the separation question for tree languages

Year: 2012
Media group: ARTICLE
Cover von Rudiments of [my]-calculus
Search for this author
Year: 2001
Publisher: Amsterdam, North-Holland
Series: Studies in logic and the foundations of mathematics; 146
Media group: MONOGRAPHIE
Cover von Algorithms in automata theory
07.02. - 11.02.94 (9406)
Search for this author
Year: 1994
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 81
Media group: DAGSTUHL-SEMINAR-REP
Cover von A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation

A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0