default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 45
Volume 45, Number 1-2, January 2001
- Patrick Baillot, Marco Pedicini:
Elementary Complexity and Geometry of Interaction. 1-31 - Sabine Broda, Luís Damas:
Counting a Type's (Principal) Inhabitants. 33-51 - René David:
Computing with Böhm Trees. 53-77 - Masahiko Sato, Takafumi Sakurai, Rod M. Burstall:
Explicit Environments. 79-115 - Richard Statman:
Marginalia to a Theorem of Jacopini. 117-121 - Christian Urban, Gavin M. Bierman:
Strong Normalisation of Cut-Elimination in Classical Logic. 123-155
Volume 45, Number 3, February 2001
- János Apró, Sándor Vágvölgyi:
The Ground Tree Transducer Game with Identical Tree Automata. 157-172 - Philippe Balbiani, Dimiter Vakarelov:
Iteration-free PDL with Intersection: a Complete Axiomatization. 173-194 - Jean-Marc Champarnaud, Djelloul Ziadi:
From Mirkin's Prebases to Antimirov's Word Partial Derivatives. 195-205 - Petr Hájek, Sauro Tulipani:
Complexity of Fuzzy Probability Logics. 207-213 - Padmanabhan Krishnan:
Decomposing Timed Push Down Automata. 215-229 - Alexander Meduna:
Uniform Generation of Languages by Scattered Context Grammars. 231-235 - Robert Saxon Milnikel:
Skeptical Reasoning in FC-Normal Logic Programs is P11-complete. 237-252 - Bengt J. Nilsson:
Approximating a Shortest Watchman Route. 253-281
Volume 45, Number 4, March 2001
- Junior Barrera, Ronaldo Fumio Hashimoto:
Sup-Compact and Inf-Compact Representations of W-Operators. 283-294 - Andries P. Engelbrecht:
Sensitivity Analysis for Selective Learning by Feedforward Neural Networks. 295-328 - Henning Fernau, Ralf Stiebe:
Valences in Lindenmayer Systems. 329-358 - Damas P. Gruska
, Andrea Maggiolo-Schettini:
Process Algebras for Network Communication. 359-378 - Antonino Salibra:
Nonmodularity Results for Lambda Calculus. 379-392 - Xishun Zhao, Decheng Ding:
Complexity Results for 2CNF Default Theories. 393-404
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 2025-04-02 00:13 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:
