default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 70
Volume 70, Number 1, 1990
- Eric G. Wagner:
Algebras, Polynomials and Programs. 3-34 - E. S. Bainbridge, Peter J. Freyd, Andre Scedrov
, Philip J. Scott:
Functorial Polymorphism. 35-64 - Michael Barr:
Fixed Points in Cartesian Closed Categories. 65-72 - Stephen L. Bloom:
A Note on Guarded Theories. 73-83 - Philip S. Mulry:
Categorical Fixed Point Semantics. 85-97 - Hanne Riis Nielson, Flemming Nielson:
Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic. 99-126 - Ana Pasztor:
Recursive Programs and Denotational Semantics in Absolute Logics of Programs. 127-150 - Claudia Böttinger:
On Scott's Thesis for Domains of Information and Well-Quasi-Orderings. 151-158 - Charles Wells:
A Generalization of the Concept of Sketch. 159-178
Volume 70, Number 2, 1990
- Jerzy Tiuryn, David B. Benson:
Fixed Points in Free Process Algebras, Part II. 179-192 - Giuseppe Longo, Eugenio Moggi:
A Category-Theoretic Characterization of Functional Completeness. 193-211 - Géraud Sénizergues:
A Characterisation of Deterministic Context-Free Languages by Means of Right-Congruences. 213-232 - Achim Jung:
Cartesian Closed Categories of Algebraic CPOs. 233-250 - Giorgio Gambosi, Jaroslav Nesetril, Maurizio Talamo:
On Locally Presented Posets. 251-260 - Alain Terlutte:
Cyclic Rational Transductions and Polynomials of Rational Functions. 261-271 - Jozef Vyskoc:
Corrigendum: An O(n^lgk . 2^n/2) Time and O(k . 2^n/2) Space Algorithm for Certain NP-Complete Problems. 273-274 - Martín Abadi:
Corrigendum: The Power of Temporal Proofs. 275
Volume 70, Number 3, 1990
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Theory of 2-Structures, Part I: Clans, Basic Subclasses, and Morphisms. 277-303 - Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Theory of 2-Structures, Part II: Representation Through Labeled Tree Families. 305-342 - Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Primitivity is Hereditary for 2-Structures. 343-358
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-12-27 21:28 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:
