Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 176
Volume 176, Numbers 1-2, 20 April 1997
- Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark:
Composition and Behaviors of Probabilistic I/O Automata. 1-38 - Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad:
A Symbolic Reachability Graph for Coloured Petri Nets. 39-65 - Hubert Comon, Ralf Treinen:
The First-Order Theory of Lexicographic Path Orderings is Undecidable. 67-87 - Douglas N. Hoover:
Limiting Semantics of Numerical Programs. 89-110 - Miki Hermann, Roman Galbavý:
Unification of Infinite Sets of Terms Schematized by Primal Grammars. 111-158 - Simone Martini, Andrea Masini:
Experiments in Linear Natural Deduction. 159-173 - Armando B. Matos:
Monadic Logic Programs and Functional Complexity. 175-204 - Chrysafis Hartonas
:
Semantics of Finite Delay. 205-234 - Benjamin C. Pierce, Martin Steffen:
Higher-Order Subtyping. 235-282 - Dan Suciu:
Bounded Fixpoints for Complex Objects. 283-328 - Peter Dybjer:
Representing Inductively Defined Sets by Wellorderings in Martin-Löf's Type Theory. 329-335 - Giuseppe Castagna:
Unifying Overloading and lambda-Abstraction: lambda{}. 337-345 - A. Massol:
Minimality of the System of Seven Equations for the Category of Finite Sets. 347-353
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 17:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
