by
Fiadeiro, José Luiz. author.
Format:
Electronic Resources
Excerpt:
Mathematical Logic and Foundations.
by
Poernomo, Iman Hafiz. author.
Format:
Electronic Resources
Excerpt:
Mathematical Logic and Foundations.
View Other Search Results
by
Artemov, Sergei. editor.
Format:
Electronic Resources
Excerpt:
specification and extraction; domain theory logics; logical foundations of database theory; equational logic and
by
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
Format:
Electronic Resources
Excerpt:
, algorithms on automata and words, automata and logic, automata for system analysis and programme verification
Limit Search Results
Narrowed by: