Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Simon J. Gay, Rajagopal Nagarajan |
A Typed Calculus of Synchronous Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 210-220, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Girish Bhat, Rance Cleaveland, Orna Grumberg |
Efficient On-the-Fly Model Checking for CTL* ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 388-397, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | François Lamarche |
Games Semantics for Full Propositional Linear Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 464-473, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alexei P. Stolboushkin |
Finitely Monotone Properties ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 324-330, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Boris A. Trakhtenbrot |
Origins and Metamorphoses of the Trinity: Logic, Nets, Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 506-507, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht |
First-order Queries on Finite Structures over the Reals ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 79-87, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Dougherty, Ramesh Subrahmanyam |
Equality between Functionals in the Presence of Coproducts ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 282-291, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marino Miculan, Fabio Gadducci |
Modal mu-Types for Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 221-231, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Erich Grädel |
Generalized Quantifiers and 0-1 Laws ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 54-64, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
On the Complexity of Modular Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 101-111, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Robert L. Constable |
Experience with Type Theory as a Foundation for Computer Science ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 266-279, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rob J. van Glabbeek, Gordon D. Plotkin |
Configuration Structures ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 199-209, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lynch |
Paramodulation without Duplication ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 167-177, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Frank Pfenning |
Structural Cut Elimination ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 156-166, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Reif Andersen |
Partial Model Checking (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 398-407, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Vaughan R. Pratt |
The Stone Gamut: A Coordinatization of Mathematics ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 444-454, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Lincoln, Andre Scedrov, Natarajan Shankar |
Decision Problems for Second-Order Linear Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 476-485, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Claude Marché |
Normalised Rewriting and Normalised Completion ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 394-403, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Brogi, Franco Turini |
Semantics of Meta-Logic in an Algebra of Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 262-270, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Arieli, Arnon Avron |
Logical Bilattices and Inconsistent Data ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 468-476, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Robert F. Stärk |
The Declarative Semantics of the Prolog Selection Rule ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 252-261, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Reif Andersen, Colin Stirling, Glynn Winskel |
A Compositional Proof System for the Modal mu-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 144-153, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Kjartan Stefánsson |
Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 137-141, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jean Goubault |
Rigid E-Unifiability is DEXPTIME-Complete ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 498-506, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Urzyczyn |
The Emptiness Problem for Intersection Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 300-309, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sewell |
Bisimulation is Not Finitely (First Order) Equationally Axiomatisable ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 62-70, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | P. S. Thiagarajan |
A Trace Based Extension of Linear Time Temporal Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 438-447, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Thomas Streicher |
The Groupoid Model Refutes Uniqueness of Identity Proofs ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 208-212, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gordon D. Plotkin, Martín Abadi, Luca Cardelli |
Subtyping and Parametricity ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 310-319, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier |
Paths in the lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 426-436, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Edmund P. Robinson, Giuseppe Rosolini |
Reflexive Graphs and Parametric Polymorphism ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 364-371, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jens Palsberg |
Efficient Inference of Object Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 186-195, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Luca Cardelli |
A Semantics of Object Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 332-341, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Christian Prehofer |
Higher-Order Narrowing ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 507-516, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Mati Pentus |
Language Completeness of the Lambek Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 487-496, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Witold Charatonik, Leszek Pacholski |
Negative Set Constraints with Equality ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 128-136, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Uday S. Reddy |
Passivity and Independence ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 342-352, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu |
The Power of Reflective Relational Machines ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 230-240, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Shipei Zhang, Oleg Sokolsky, Scott A. Smolka |
On the Parallel Complexity of Model Checking in the Modal Mu-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 154-163, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | J. Antonio Medina, Neil Immerman |
A Syntactic Characterization of NP-Completeness ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 241-250, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Adolfo Piperno, Simona Ronchi Della Rocca |
Type Inference and Extensionality ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 196-205, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin Otto 0001 |
Generalized Quantifiers for Simple Properties ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 30-39, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ron van der Meyden |
Axioms for Knowledge and Time in Distributed Systems with Perfect Recall ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 448-457, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Alan Jeffrey |
A Fully Abstract Semantics for Concurrent Graph Reduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 82-91, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001 |
Foundations of Timed Concurrent Constraint Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 71-80, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Moggi |
A General Semantics for Evaluation Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 353-362, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Edward Y. Chang, Zohar Manna, Amir Pnueli |
Compositional Verification of Real-Time Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 458-465, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Lincoln, Natarajan Shankar |
Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 282-291, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Thomas A. Henzinger |
Finitary Fairness ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 52-61, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Christian G. Fermüller, Alexander Leitsch |
A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 213-219, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Jan Willem Klop |
Cyclic Lambda Graph Rewriting ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 416-425, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Maribel Fernández, Herman Geuvers |
Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 406-415, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Carolyn Brown, Graham Hutton |
Categories, Allegories and Circuit Design ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 372-381, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Herman Geuvers, Benjamin Werner |
On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 320-329, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001 |
A Multiple-Conclusion Meta-Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 272-281, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, Harald Ganzinger |
Rewrite Techniques for Transitive Relations ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 384-393, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Loader |
Linear Logic, Totality and Full Completeness ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 292-298, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michael Huth 0001, Achim Jung, Klaus Keimel |
Linear Types, Approximation, and Topology ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 110-114, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | J. B. Wells |
Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 176-185, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto |
How to Define a Linear Order on Finite Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 40-49, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke |
Automatic Verification of Finite-State Concurrent Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 126, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Lauri Hella |
The Expressive Power of Finitely Many Generalized Quantifiers ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 20-29, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![IEEE Computer Society, 0-8186-6310-3 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Yuri Gurevich, Neil Immerman, Saharon Shelah |
McColm's Conjecture ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 10-19, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Shai Ben-David, Rachel Ben-Eliyahu |
a modal logic for subjective default reasoning ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 477-486, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Abbas Edalat |
Domain Theory and Integration ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 115-124, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Russell Impagliazzo, Toniann Pitassi, Alasdair Urquhart |
Upper and Lower Bounds for Tree-Like Cutting Planes Proofs ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 220-228, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo P. Fiore, Gordon D. Plotkin |
An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 92-102, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Rod M. Burstall |
Terms, Proofs, and Refinement (Extended abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 2-7, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Edith Hemaspaandra |
Complexity Transfer for Modal Logic (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 164-173, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Colson, Thomas Ehrhard |
On Strong Stability and Higher-Order Sequentiality ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 103-108, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Phokion G. Kolaitis |
A Tutorial on Finite Model Theory (Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 122, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Tobias Nipkow |
Functional Unification of Higher-Order Patterns ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 64-74, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin C. Pierce, Davide Sangiorgi |
Typing and Subtyping for Mobile Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 376-385, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Paliath Narendran, Michaël Rusinowitch |
The Unifiability Problem in Ground AC Theories ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 364-370, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo P. Fiore |
A Coinduction Principle for Recursive Data Types Based on Bisimulation ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 110-119, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ursula Martin, Elizabeth Scott |
The order types of termination orderings on monadic terms, strings and multisets ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 356-363, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Val Tannen, Delia Kesner, Laurence Puel |
A Typed Pattern Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 262-274, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jon Barwise, Jerry Seligman |
Imperfect information flow ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 252-260, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Laks V. S. Lakshmanan, Karima Ashraf, Jiawei Han 0001 |
Homomorphic Tree Embeddings and Their Applications to Recursive Program Optimization ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 344-353, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Michel Parigot |
Strong Normalization for Second Order Classical Natural Deduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 39-46, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Igor Walukiewicz |
On Completeness of the mu-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 136-146, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![IEEE Computer Society, 0-8186-3140-6 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Amir Pnueli, Lenore D. Zuck |
In and Out of Temporal Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 124-135, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Guy Fayolle, Stéphane Grumbach, Christophe Tollu |
Asymptotic Probabilities of Languages with Generalized Quantifiers ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 199-207, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Paliath Narendran, Frank Pfenning, Richard Statman |
On the Unification Problem for Cartesian Closed Categories ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 57-63, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | My Hoang, John C. Mitchell, Ramesh Viswanathan |
Standard ML-NJ weak polymorphism and imperative constructs ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 15-25, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gordon D. Plotkin |
Type Theory and Recursion (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 374, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Bengt Jonsson 0001 |
Verifying Programs with Unreliable Channels ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 160-170, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Amy P. Felty |
Encoding the Calculus of Constructions in a Higher-Order Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 233-244, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
Compositional Analysis for Concurrent Constraint Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 210-221, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes |
Full Abstraction for a Shared Variable Parallel Language ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 98-109, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Lambek |
Programs, grammars and arguments: a personal view of some connections between computation, language and logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 246-249, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Laurent Regnier |
Local and asynchronous beta-reduction (an analysis of Girard's execution formula) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 296-306, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | James F. Lynch |
Infinitary Logics and Very Sparse Random Graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 191-198, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson |
Database Query Languages Embedded in the Typed Lambda Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 332-343, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
Automated Production of Traditional Proofs for Constructive Geometry Theorems ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 48-56, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | John C. Mitchell, Furio Honsell, Kathleen Fisher |
A lambda calculus of objects and method specialization ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 26-38, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Pitts |
Bisimulation and Co-induction (Tutorial) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 2-3, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Matthew Hennessy |
A Fully Abstract Denotational Model for Higher-Order Processes (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 397-408, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|