default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal of Foundations of Computer Science, Volume 2
Volume 2, Number 1, March 1991
- Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin:
Faithful Ideal Models for Recursive Polymorphic Types. 1-21 - Thomas Wilmes:
Functional Production Systems Viewed as Grammars. 23-41 - Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk:
Uniform Algebraic Specifications of Finite Sets with Equality. 43-65 - Jin-yi Cai, Merrick L. Furst:
PSPACE Survives Constant-Width Bottlenecks. 67-76 - Viktória Zankó:
#P-Completeness via Many-One Reductions. 77-82
Volume 2, Number 2, June 1991
- Vikraman Arvind, Somenath Biswas:
Edge-Deletion Graph Problems with First-Order Expressible Subgraph Properties. 83-99 - Thanh Tung Nguyen:
A Relational Model of Demonic Nondeterministic Programs. 101-131 - Hans L. Bodlaender
:
On the Complexity of Some Coloring Games. 133-147 - Sachio Hirokawa:
Prinipal Type Assignment to Lambda Terms. 149-162 - Tao Jiang, Edward McDowell, Bala Ravikumar:
The Structure and Complexity of Minimal NFA's over a Unary Alphabet. 163-182
Volume 2, Number 3, September 1991
- Dung T. Huynh:
Efficient Detectors and Constructors for Single Languages. 183-206 - Zhi-Zhong Chen, Seinosuke Toda:
On the Complexity of Computing Optimal Solutions. 207-220 - Angelo Monti, Domenico Parente:
Systolic Tree with Base Automata. 221-236 - Lane A. Hemachandra, Sanjay Jain:
On the Limitations of Locally Robust Positive Reductions. 237-255 - Yves Métivier, Brigitte Rozoy:
On the Star Operation in Free Partially Commutative Monoids. 257-265 - John V. Tucker, Jeffery I. Zucker:
Projections of Semicomputable Relations on Abstract Data Tzpes. 267-296
Volume 2, Number 4, December 1991
- Narciso Martí-Oliet, José Meseguer:
From Petri Nets to Linear Logic through Categories: A Survey. 297-399 - Katsushi Inoue, Akira Ito, Itsuo Takanami:
Alternating Turing Machines with Modified Accepting Structure. 401-417 - Giovanni Panti:
Solution of a Number Theoretic Problem Involving Knowledge. 419-424
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-19 22:14 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:
