Automata over continuous time (Q1399970)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Automata over continuous time	scientific article

Statements

scholarly article

0 references

Automata over continuous time (English)

0 references

Alexander Rabinovich

0 references

Theoretical Computer Science

0 references

publication date

30 July 2003

0 references

zbMATH Keywords

discrete time

0 references

MaRDI profile type

MaRDI publication profile

0 references

A theory of timed automata

0 references

0 references

0 references

A logical calculus of the ideas immanent in nervous activity

0 references

0 references

0 references

On translations of temporal logic of actions into monadic second-order logic

0 references

Some definitional suggestions for automata theory

0 references

Finite automata and the logic of one-place predicates

0 references

0 references

0 references

A calculus of durations

0 references

full work available at URL

https://doi.org/10.1016/s0304-3975(02)00331-6

0 references

Identifiers

zbMATH Open document ID

0 references

10.1016/S0304-3975(02)00331-6

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1399970

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1399970&oldid=36970768"