Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 120
Volume 120, Number 1, July 1995
- Koichi Yamazaki
:
A Normal Form Problem for Unlabeled Boundary NLC Graph Languages. 1-10 - Shai Ben-David, Gyora M. Benedek, Yishay Mansour:
A Parametrization Scheme for Classifying Models of PAC Learnability. 11-21 - Vwani P. Roychowdhury, Kai-Yeung Siu, Alon Orlitsky, Thomas Kailath:
Vector Analysis of Threshold Functions. 22-31 - Abbas Edalat:
Dynamical Systems, Measures and Fractals via Domain Theory. 32-48 - Ronald V. Book, Jack H. Lutz, David M. Martin Jr.:
The Global Power of Additional Queries to Random Oracles. 49-54 - Mitsunori Ogihara:
Equivalence of NC^k and AC^k-1 closures of NP and Other Classes. 55-58 - Martin Kummer, Frank Stephan:
Recursion Theoretic Properties of Frequency Computation and Bounded Queries. 59-77 - Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi:
On Monadic NP vs. Monadic co-NP. 78-92 - Amotz Bar-Noy, Xiaotie Deng, Juan A. Garay, Tiko Kameda:
Optimal Amortized Distributed Consensus. 93-100 - Guozhu Dong, Jianwen Su:
Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries. 101-106 - Peter W. O'Hearn, Jon G. Riecke:
Kripke Logical Relations and PCF. 107-116 - Danièle Beauquier, Damian Niwinski:
Automata on Infinite Trees with Counting Constraints. 117-125 - Jean Néraud:
Algorithms for Detecting Morphic Images of a Word. 126-148 - Shih Ping Tung:
The Bounds of Skolem Functions and Their Applications. 149-154
Volume 120, Number 2, August 1, 1995
- Thomas Zeugmann, Steffen Lange, Shyam Kapur:
Characterizations of Monotonic and Dual Monotonic Language Learning. 155-173 - Joachim Parrow, Davide Sangiorgi:
Algebraic Theories for Name-Passing Calculi. 174-197 - Heribert Vollmer, Klaus W. Wagner:
Complexity Classes of Optimization Functions. 198-219 - Jan Van den Bussche, Jan Paredaens:
The Expressive Power of Complex Values in Object-Based Data Models. 220-236 - Victor Y. Pan, Isdor Sobze, Antoine Atinkpahoun:
On Parallel Computations with Banded Matrices. 237-250 - A. John Power:
Why Tricategories? 251-262 - Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi:
Negation as Instantiation. 263-278 - Michele Boreale, Rocco De Nicola:
Testing Equivalence for Mobile Processes. 279-303 - Richard Beigel, Martin Kummer, Frank Stephan:
Approximable Sets. 304-314 - Shih Ping Tung:
Computational Complexity of Arithmetical Sentences. 315-325 - Jonathan F. Buss, Martin Tompa:
Lower Bounds on Universal Traversal Sequences Based on Chains of Length Five. 326-329
a service of 
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-04-25 04:48 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:
