BibSonomy

сходные по теме тэги

• + | timed
• + | finitely
• + | decision
• + | automata
• + | languages
• + | timing
• + | finite
• + | union
• + | buchi
• + | many
• + | state-transition
• + | clocks
• + | formal
• + | pspace
• + | conditions
• + | acceptance
• + | muller
• + | problems
• + | boolean
• + | real-valued
• + | subclasses
• + | properties
• + | theory
• + | universality
• + | infinite
• + | functions
• + | language
• + | constraints
• + | sequences
• + | problem
• + | systems
• + | graphs
• + | real-time
• + | operations
• + | inclusion
• + | intersection
• + | algorithm

тэги