Logic for Programming, Artificial Intelligence, and Reasoning: 8th International
125,22 €
Invited Talk. - On Bounded Specifications. - Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy. - Guarded Logics. - Computational Space Efficiency and Minimal Model Generation for Guarded Formulae.
Jetzt bei Ebay: