default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 146
Volume 146, Numbers 1&2, 24 July 1995
- Andre Scedrov, Dennis DeTurk, Wolfgang Ziller:
Moez Alimohamed, 1967-1994. Theor. Comput. Sci. 146(1&2): 1-3 (1995) - Moez Alimohamed:
A Characterization of lambda Definability in Categorical Models of Implicit Polymorphism. 5-23 - Bard Bloom:
Structural Operational Semantics for Weak Bisimulations. 25-68 - Zena M. Ariola, Arvind:
Properties of a First-Order Functional Language with Sharing. 69-108 - Franck Cassez
, Olivier F. Roux:
Compilation of the ELECTRE Reactive Language into Finite Transition Systems. 109-143 - David B. Kemp, Divesh Srivastava, Peter J. Stuckey:
Bottom-Up Evaluation and Query Optimization of Well-Founded Models. 145-184 - Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl:
Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. 185-197 - Maria Paola Bonacina, Jieh Hsiang:
Towards a Foundation of Completion Procedures as Semidecision Procedures. 199-242 - Rolf Backofen, Gert Smolka:
A Complete and Recursive Feature Theory. 243-268 - Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman:
Argument Reduction by Factoring. 269-310 - Fabio Alessi, Paolo Baldan, Gianna Bellè:
A Fixed-Point Theorem in a Category of Compact Metric Spaces. 311-320 - Yuji Kobayashi:
A Finitely Presented Monoid Which Has Solvable Word Problem But Has No Regular Complete Presentation. 321-329 - Guo-Qiang Zhang:
On Maximal Stable Functions. 331-339 - Anna Ingólfsdóttir:
Late and Early Semantics Coincide for Testing. 341-349
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-10-07 22:21 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:
