Automata over continuous time (Q1399970): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theory of timed automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5725991 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3289363 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logical calculus of the ideas immanent in nervous activity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5590814 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4824486 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On translations of temporal logic of actions into monadic second-order logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some definitional suggestions for automata theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite automata and the logic of one-place predicates / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4349581 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3214824 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of durations / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 18:55, 5 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automata over continuous time |
scientific article |
Statements
Automata over continuous time (English)
0 references
30 July 2003
0 references
discrete time
0 references