default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 145
Volume 145, Number 1, August 25, 1998
- Frank Drewes, Joost Engelfriet:
Decidability of the Finiteness of Ranges of Tree Transductions. 1-50 - Juha Honkala:
On Number Systems with Finite Degree of Ambiguity. 51-63 - Chrysafis Hartonas
, Matthew Hennessy:
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing. 64-106
Volume 145, Number 2, September 15, 1998
- Claudio Hermida, Bart Jacobs:
Structural Induction and Coinduction in a Fibrational Setting. 107-152 - Roberto Giacobazzi, Francesco Ranzato:
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. 153-190 - Flavio Corradini:
On Performance Congruences for Process Algebras. 191-230
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-12-12 01:27 CET 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:
