|
Journals in DBLP
Inf. Comput. 1995, volume: 120, number: 2
- Thomas Zeugmann, Steffen Lange, Shyam Kapur
Characterizations of Monotonic and Dual Monotonic Language Learning [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:155-173 [Journal]
- Joachim Parrow, Davide Sangiorgi
Algebraic Theories for Name-Passing Calculi [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:174-197 [Journal]
- Heribert Vollmer, Klaus W. Wagner
Complexity Classes of Optimization Functions [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:198-219 [Journal]
- Jan Van den Bussche, Jan Paredaens
The Expressive Power of Complex Values in Object-Based Data Models [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:220-236 [Journal]
- Victor Y. Pan, Isdor Sobze, Antoine Atinkpahoun
On Parallel Computations with Banded Matrices [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:237-250 [Journal]
- A. John Power
Why Tricategories? [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:251-262 [Journal]
- Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
Negation as Instantiation [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:263-278 [Journal]
- Michele Boreale, Rocco De Nicola
Testing Equivalence for Mobile Processes [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:279-303 [Journal]
- Richard Beigel, Martin Kummer, Frank Stephan
Approximable Sets [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:304-314 [Journal]
- Shih Ping Tung
Computational Complexity of Arithmetical Sentences [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:315-325 [Journal]
- Jonathan F. Buss, Martin Tompa
Lower Bounds on Universal Traversal Sequences Based on Chains of Length Five [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:326-329 [Journal]
|