by
Kröger, Fred. author.
Format:
Electronic Resources
Excerpt:
Temporal Logic and State Systems Kröger, Fred. author.
by
Bollig, Benedikt. author.
Format:
Electronic Resources
Excerpt:
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic / Bollig
View Other Search Results
by
Kiselyov, Oleg. editor.
Format:
Electronic Resources
Excerpt:
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6
by
Gallagher, John P. editor.
Format:
Electronic Resources
Excerpt:
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11
by
Clavel, Manuel. author.
Format:
Electronic Resources
Excerpt:
in Rewriting Logic / Clavel, Manuel. author.
by
Moss, Lawrence S. editor.
Format:
Electronic Resources
Excerpt:
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota
by
Dershowitz, Nachum. editor.
Format:
Electronic Resources
Excerpt:
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR
by
Baader, Franz. editor.
Format:
Electronic Resources
Excerpt:
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR
by
Cervesato, Iliano. editor.
Format:
Electronic Resources
Excerpt:
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR
by
Hermann, Miki. editor.
Format:
Electronic Resources
Excerpt:
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR
by
Sutcliffe, Geoff. editor.
Format:
Electronic Resources
Excerpt:
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR
by
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
Format:
Electronic Resources
Excerpt:
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur
Limit Search Results
Narrowed by: