default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 119
Volume 119, Number 1, 1995
- Jennifer Seberry, Xian-Mo Zhang, Yuliang Zheng
:
Nonlinearity and Propagation Characteristics of Balanced Boolean Functions. 1-13 - Wil Dekkers:
Inhabitation of Types in the Simply Typed Lambda Calculus. 14-17 - Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries:
Transfinite Reductions in Orthogonal Term Rewriting Systems. 18-38 - Kenji Yamanishi:
A Loss Bound Model for On-Line Stochastic Prediction Algorithms. 39-54 - Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
A Variable Typed Logic of Effects. 55-90 - Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan:
A Logical Study of Distributed Transition Systems. 91-118 - Jan A. Bergstra, Jan Heering:
Homomorphism Preserving Algebraic Specifications Require Hidden Sorts. 119-123 - Torben Hagerup:
A Lower Bound for the Emulation of PRAM Memories on Processor Networks. 124-128 - Erich Grädel, Gregory L. McColm:
On the Power of Deterministic Transitive Closures. 129-135
Volume 119, Number 2, 1995
- Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa:
Redundancy Elimination and Loop Checks for Logic Programs. 137-153 - Katsutoshi Nakayama, Akira Maruoka:
Loop Circuits and Their Relation to Razborov's Approximation Model. 154-159 - Anuj Dawar, Steven Lindell, Scott Weinstein:
Infinitary Logic and Inductive Definability over Finite Structures. 160-175 - Roberto Di Cosmo:
Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object. 176-201 - Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Intersection and Union Types: Syntax and Semantics. 202-230 - Zhi-Zhong Chen, Seinosuke Toda:
The Complexity of Selecting Maximal Solutions. 231-239 - Yves Métivier, Gwénaël Richomme:
New Results on the Star Problem in Trace Monoids. 240-251 - Xavier Gouy, Ying Jiang:
Universal Retractions on DI-Domains. 252-257 - Amihood Amir, Martin Farach, Ramana M. Idury, Johannes A. La Poutré, Alejandro A. Schäffer:
Improved Dynamic Dictionary Matching. 258-282 - Gil Neiger:
Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency. 283-293
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-02 23:29 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:
