There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 9

Record: found
Abstract: not found
Article: not found

Finite-memory automata

Michael Kaminski, Nissim Francez (1994)

0 comments Cited 76 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Model Checking a Path

N. Markey, P. Schnoebelen (2003)

0 comments Cited 9 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Two-variable logic on data trees and XML reasoning

Mikoaj Bojańczyk, Anca Muscholl, Thomas Schwentick … (2009)

0 comments Cited 9 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 561-572

DOI: 10.1007/978-3-642-13089-2_47

SO-VID: 8d4a6a61-2038-4d1b-a22b-55aa101db813

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 11

Model Checking Languages of Data Words
Authors: Benedikt Bollig, Aiswarya Cyriac, Paul B Gastin …
Document Spanners
Authors: Ronald Fagin, Frederick Reiss, Stijn Vansummeren …
Nominal Automata with Name Binding
Authors: Lutz Werner Schröder, Dexter Kozen, Stefan Milius …

See all cited by

Variable Automata over Infinite Alphabets

Read this book at

Related collections

ScienceOpen Research

Most cited references 9

Finite-memory automata

Model Checking a Path

Two-variable logic on data trees and XML reasoning

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,337

Cited by 11