by
Esparza, Javier. author.
Format:
Electronic Resources
Excerpt:
explosion problem - the number of reachable states grows exponentially in the number of concurrent
by
O'Regan, Gerard. author.
Format:
Electronic Resources
Excerpt:
, including sets, relations and functions Describes the basics of number theory, the techniques of induction
View Other Search Results
by
Mohamed, Otmane Ait. editor.
Format:
Electronic Resources
Excerpt:
-- Real Number Calculations and Theorem Proving -- A Formalized Theory for Verifying Stability and
by
Lodaya, Kamal. editor.
Format:
Electronic Resources
Excerpt:
Problems Extended Abstract -- Learning Languages from Positive Data and a Finite Number of Queries -- The
by
Arvind, V. editor.
Format:
Electronic Resources
Excerpt:
-- Probabilistic and Topological Semantics for Timed Automata -- A Theory for Game Theories -- An Incremental
by
Hurd, Joe. editor.
Format:
Electronic Resources
Excerpt:
Conditions -- Real Number Calculations and Theorem Proving -- Verifying a Secure Information Flow Analyzer
by
Hoshi, Mizuho. editor.
Format:
Electronic Resources
Excerpt:
Finite Automata -- Additive Number Theory via Approximation by Regular Languages -- Tree-to-graph
by
Brim, Luboš. editor.
Format:
Electronic Resources
Excerpt:
both industry and academia. This year the Program Committee received a record number of submissions
by
Sestoft, Peter. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
by
Mycroft, Alan. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
by
Durand, Bruno. editor.
Format:
Electronic Resources
Excerpt:
Algorithms for Matching and Network Flows -- The Number of Runs in a String: Improved Analysis of the Linear
by
Bodik, Rastislav. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
Limit Search Results
Narrowed by: