Back to Results
First PageMeta Content
Theoretical computer science / Applied mathematics / Models of computation / Regular language / Nondeterministic finite automaton / Model checking / Permutation / Structure / Büchi automaton / Automata theory / Formal languages / Mathematics


BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting
Add to Reading List

Document Date: 2002-01-07 08:27:59

Open Document

File Size: 254,05 KB

Share Result on Facebook

Country

Denmark / /

Currency

Rs / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Computer Science University of Szeged Szeged / Mathematics Kyoto Sangyo University / Kyoto Sangyo University / University of Aalborg / /

IndustryTerm

direct products / cascade product / direct product / cascade products / quasi-direct product / /

Organization

Faculty of Science / Mathematics Kyoto Sangyo University Kyoto / Japan Society for the Promotion of Science / University of Aalborg / National Foundation of Hungary for Scientific Research / BRICS Department / University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Department of Computer Science / Kyoto Sangyo University / Computer Science University of Szeged Szeged / /

Person

Nat / Masami Ito / /

/

Position

first author / /

ProgrammingLanguage

C / /

URL

ftp /

SocialTag