
The dynamics of deterministic systems-A survey
Author(s) -
Luis Miguel Torres,
Annegret K. Wagler
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - reachability , petri net , computer science , oracle , successor cardinal , theoretical computer science , graph , extension (predicate logic) , relation (database) , consistency (knowledge bases) , transition system , mathematics , algorithm , artificial intelligence , data mining , mathematical analysis , software engineering , programming language