search result

Cover von Infinite words
automata, semigroups, logic and games
Author: Perrin, Dominique; Pin, Jean-Eric Search for this author
Year: 2004
Publisher: Amsterdam, Elsevier Morgan Kaufmann
Series: Pure and applied mathematics series; 141
Media group: MONOGRAPHIE
Cover von Theoretical computer science

Theoretical computer science

algorithms, automata, complexity and games
Amsterdam, Elsevier
Media group: ZEITSCHRIFT
Volumes loading
Cover von Reducing (To) the Ranks

Reducing (To) the Ranks

Efficient Rank-Based Büchi Automata Complementation
Year: 2021
Media group: LIPIcs
Cover von Regular Languages

Regular Languages

To Finite Automata and Beyond (Invited Talk)
Year: 2021
Media group: OASICS
Cover von Brief Announcement

Brief Announcement

Distributed Graph Problems Through an Automata-Theoretic Lens
Year: 2020
Media group: LIPIcs
Cover von Coinduction

Coinduction

Automata, Formal Proof, Companions (Invited Paper)
Year: 2019
Media group: LIPIcs
Cover von Cospan/Span(Graph)

Cospan/Span(Graph)

an Algebra for Open, Reconfigurable Automata Networks
Year: 2017
Media group: LIPIcs
Cover von Maximal Partition Logic

Maximal Partition Logic

Towards a Logical Characterization of Copyless Cost Register Automata
Year: 2015
Media group: LIPIcs
Cover von Concurrency theory
calculi and automata for modelling untimed and timed concurrent systems
Author: Bowman, Howard; Gomez, Rodolfo Search for this author
Year: 2006
Publisher: London, Springer
Media group: MONOGRAPHIE
Cover von Non-standard computation
molecular computation, cellular automata, evolutionary algorithms, quantum computers
Search for this author
Year: 1998
Publisher: Weinheim, Wiley-VCH
Media group: MONOGRAPHIE
OPEN V 11.1.0.0