default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 142
Volume 142, Number 1, April 10, 1998
- Dexter Kozen:
Set Constraints and Logic Programming. 2-25 - Spiro Michaylov:
Repeated Redundant Inequalities in Constraint Logic Programming. 26-39 - Witold Charatonik:
Set Constraints in Some Equational Theories. 40-75 - Rolf Backofen, Ralf Treinen:
How to Win a Game with Features. 76-101 - Christopher Lynch:
Local Simplification. 102-126
Volume 142, Number 2, May 1, 1998
- Viliam Geffert:
Bridging Across the log(n) Space Frontier. 127-158 - Mikkel Thorup:
All Structured Programs have Small Tree-Width and Good Register Allocation. 159-181 - Anne Brüggemann-Klein, Derick Wood:
One-Unambiguous Regular Languages. 182-206 - Helmut Veith:
Succinct Representation, Leaf Languages, and Projection Reductions. 207-236
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-02-13 00:57 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:
