Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | François Laroussinie, Philippe Schnoebelen, Mathieu Turuani |
On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000, Proceedings, pp. 437-446, 2000, Springer, 3-540-67306-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Gutierrez 0001 |
Equations in Free Semigroups with Anti-involution and Their Relation to Equations in Free Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000, Proceedings, pp. 387-396, 2000, Springer, 3-540-67306-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Panario, Alfredo Viola |
Analysis of Rabin's Polynomial Irreducability Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 1-10, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Noga Alon |
Spectral Techniques in Graph Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 206-215, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | James Abello, Emden R. Gansner |
Short and Smooth Polygonal Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 151-162, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Orlando Lee, Yoshiko Wakabayashi |
Circuit Covers in Series-Parallel Mixed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 226-238, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Luérbio Faria, Celina M. H. de Figueiredo, Candido Ferreira Xavier de Mendonça Neto |
The Splitting Number of the 4-Cube. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 141-150, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Claudio L. Lucchesi, Arnaldo V. Moura (eds.) |
LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![Springer, 3-540-64275-7 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo A. Baeza-Yates, Gonzalo Navarro 0001 |
Fast Two-Dimensional Approximate Pattern Matching ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 341-351, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | David Fernández-Baca |
Faster Non-linear Parametric Search with Applications to Optimazation and Dynamic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 33-41, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Brassard, Peter Høyer, Alain Tapp |
Quantum Cryptanalysis of Hash and Claw-Free Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 163-169, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Jansen |
A New Characterization for Parity Graphs and a Coloring Problem with Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 249-260, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alain Finkel, Philippe Schnoebelen |
Fundamental Structures in Well-Structured Infinite Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 102-118, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michael Molloy 0001, Bruce A. Reed |
Colouring Graphs whose Chromatic Number Is Almost Their Maximum Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 216-225, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Bedon, Olivier Carton |
An Eilenberg Theorem for Words on Countable Ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 53-64, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Joachim von zur Gathen, Igor E. Shparlinski |
The CREW PRAM Complexity of Modular Inversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 305-315, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Dana Randall, Prasad Tetali |
Analyzing Glauber Dynamics by Comparison of Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 292-304, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Gutierrez 0001 |
Solving Equations in Strings: On Makanin's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 358-373, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Marisa Gutierrez, João Meidanis |
On the Clique Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 261-272, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Z. Broder, Alan M. Frieze, Eli Upfal |
Dynamic Packet Routing on Arrays with Bounded Buffers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 273-281, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alair Pereira do Lago |
Maximal Groups in Free Burnside Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 65-75, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Peter Damaschke |
A Chip Search Problem on Binary Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 11-22, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mihir Bellare, Juan A. Garay, Tal Rabin |
Batch Verification with Applications to Cryptography and Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 170-191, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Edelsbrunner |
Shape Reconstruction with Delaunay Complex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 119-132, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Friedhelm Meyer auf der Heide, Gabriel Terán Martinez |
Communication-Efficient Parallel Multiway and Approximate Minimum Cut Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 316-330, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alan Roberts, Antonios Symvonis |
On-Line Matching Routing on Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 282-291, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Esteban Feuerstein |
Uniform Service Systems with k Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 23-32, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Marie-France Sagot |
Spelling Approximate Repeated or Common Motifs Using a Suffix Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 374-390, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Veloso Peixoto, Laurent Fribourg |
Unfolding Parametric Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 88-101, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Hevia, Marcos A. Kiwi |
Strength of Two Data Encryption Standard Implementations under Timing Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 192-205, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Richard Beigel, Egemen Tanin |
The Geometry of Browsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 331-340, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin |
Super-State Automata and Rational Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 42-52, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Gonzalo Navarro 0001 |
Improved Approximate Pattern Matching on Hypertext. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 352-357, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Eric Pin |
Positive Varieties and Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 76-87, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Anamaria Gomide, Jorge Stolfi |
Bases for Non-homogeneous Polynomial Ck Splines on the Sphere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 133-140, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Elias Dahlhaus |
A Linear Time Algorithm to Recognize Clustered Graphs and Its Parallelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 239-248, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Crochemore, Wojciech Rytter |
On Linear-Time Alphabet-Independent 2-Dimensional Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 220-229, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stephen L. Bloom, Zoltán Ésik |
Free Shuffle Algebras in Language Varieties (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 99-111, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Laureano González-Vega |
On the Complexity of Computing the Greatest Common Divisor of Several Univariate Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 332-345, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brands |
Off-Line Electronic Cash Based on Secret-Key Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 131-166, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Meinel, Stephan Waack |
Lower Bounds for the Modular Communication Complexity of Various Graph Accessibility Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 427-435, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Esteban Feuerstein |
Paging More Than One Page. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 272-285, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo A. Baeza-Yates, Eric Goles Ch., Patricio V. Poblete (eds.) |
LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![Springer, 3-540-59175-3 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Joao Meidanis, João C. Setubal |
Multiple Alignment of Biological Sequences with Gap Flexibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 411-426, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | François Blanchard, Alejandro Maass |
On Dynamical Properties of Generalized Toggle Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 84-98, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christian Herzog 0003 |
Pushdown Automata with Bounded Nondeterminism and Bounded Anbiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 358-370, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Margenstern |
Non-Erasing Turing Machines: A New Frontier Between a Decidable Halting Problem and Universality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 386-397, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Fernández-Baca, Giora Slutzki |
Linear-Time Algorithms for Parametric Minimum Spanning Tree Problems on Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 257-271, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Alonso, René Schott |
Random Generation of Colored Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 16-35, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David A. Mix Barrington, Howard Straubing |
Lower Bounds for Modular Counting by Circuits with Modular Gates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 60-71, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Eades, Sue Whitesides |
Nearest Neighbour Graph Realizability is NP-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 245-256, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Becker 0001, Rolf Drechsler, Ralph Werchner |
On the Relation Betwen BDDs and FDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 72-83, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente |
State Complexity of SBTA Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 346-357, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martín Matamala, Eric Goles Ch. |
Cyclic Automata Networks on Finite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 398-410, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | B. John Oommen, Edward V. de St. Croix |
On Using Learning Automata for Fast Graph Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 449-460, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | James Abello, Krishna Kumar |
Visibility Graphs of 2-Spiral Polygons (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 1-15, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Zsuzsanna Róka |
Simulations Between Cellular Automata on Cayley Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 483-493, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang |
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 494-508, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Giulia Galbiati, Angelo Morzenti, Francesco Maffioli |
On the Approximability of some Maximum Spanning Tree Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 300-310, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Buntrock, Gundula Niemann |
On Weak Growing Context-Sensitive Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 180-194, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Shiva Chaudhuri, Devdatt P. Dubhashi |
(Probabilistic) Recurrence Realtions Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 207-219, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Celina M. H. de Figueiredo, João Meidanis, Célia Picinin de Mello |
On Edge-Colouring Indifference Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 286-299, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Mundhenk |
On Monotonous Oracle Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 436-448, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Richard, Frédéric Saubion |
A Rewrite Approach for Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 469-482, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | William I. Gasarch, Katia S. Guimarães |
Unbounded Search and Recursive Graph Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 323-331, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Bruyère, Georges Hansel |
Recognizable Sets of Numbers in Nonstandard Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 167-179, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Olivier Durand-Lose |
Reversible Cellular Automaton Able to Simulate Any Other Reversible One Using Partitioning Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 230-244, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter M. Yamakawa, Hiroyuki Ebara, Hideo Nakano |
A New Approach for Routing in Arrangement Graphs and its Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 509-524, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Prodinger |
Solution of a Problem of Yekutieli and Mandelbrot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 461-468, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | R. Balasubramanian, Venkatesh Raman 0001, G. Srinivasaraghavan 0001 |
Tight Bounds for Finding Degrees from the Adjacency Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 49-59, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Shuhong Gao, Joachim von zur Gathen, Daniel Panario |
Gauss Periods and Fast Exponentiation in Finite Fields (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 311-322, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ioan I. Macarie |
Multihead Two-Way probabilistic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 371-385, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Phillip G. Bradford, Venkatesh Choppella, Gregory J. E. Rawlins |
Lower Bounds for the Matrix Chain Ordering Problem (Extended bstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 112-130, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Asano, Desh Ranjan, Thomas Roos, Emo Welzl, Peter Widmayer |
Space Filling Curves and Their Use in the Design of Geometric Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 36-48, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Benjamín René Callejas Bedregal, Benedito Melo Acióly |
Logic of Plotkin Continuous Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings, pp. 195-206, 1995, Springer, 3-540-59175-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jaime Gutierrez 0001, Tomás Recio |
Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 231-245, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Afonso Ferreira, Siang W. Song |
Achieving Optimality for Gate Matrix Layout and PLA Folding: a Graph Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 139-153, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Saïd Bettayeb, Bin Cong, Mike Girou, Ivan Hal Sudborough |
Simulation Permutation Networks on Hypercubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 61-70, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Hertrampf |
Locally Definable Acceptance Types - The Three-Valued Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 262-271, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | José D. P. Rolim |
On the Density and Core of the Complexity Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 448-459, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Dominic Sleator |
Data Structures and Terminating Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 488-497, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Alistair Sinclair |
Improved Bounds for Mixing Rates of Marked Chains and Multicommodity Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 474-487, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Anne Brüggemann-Klein |
Regular Expressions into Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 87-98, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Gil, Yossi Matias |
Leaders Election Without Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 204-218, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht |
Factoring in Skew-Polynomial Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 191-203, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Imre Simon (eds.) |
LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![Springer, 3-540-55284-7 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | David A. Mix Barrington, Howard Straubing |
Complex Polynomials and Circuit Lower Bounds for Modular Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 24-31, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Cucker, Francesc Rosselló |
On the Complexity of Some Problems for the Blum, Shub & Smale Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 117-129, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Marshall W. Bern, Herbert Edelsbrunner, David Eppstein, Scott A. Mitchell, Tiow Seng Tan |
Edge Insertion for Optional Triangulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 46-60, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goles Ch., Marcos A. Kiwi |
Dynamics of Sand-Piles Games on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 219-230, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Eric Pin |
On Reversible Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 401-416, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christiane Frougny |
How to Write Integers in Non-Integer Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 154-164, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Francis Bossut, Bruno Warin |
Automata and Pattern Matching in Planar Directed Acyclic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 76-86, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Arjen K. Lenstra |
Massively Parallel Computing and Factoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 344-355, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Kosaburo Hashiguchi |
The Double Reconstruction Conjectures about Colored Hypergraphs and Colored Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 246-261, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gene Myers |
Approximate Matching of Network Expressions with Spacers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 372-386, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | William I. Gasarch, Katia S. Guimarães |
On the Number Components of a Recursive Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 177-190, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Wenceslas Fernandez de la Vega, Vangelis Th. Paschos, Rachid Saad |
Average Case Analysis of a Greedy Algorithm for the Minimum Hitting Set Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 130-138, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michel Cosnard, Pascal Koiran, Hélène Paugam-Moisy |
Complexity Issues in Neural Network Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 530-543, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Paola Alimonti, Esteban Feuerstein, Umberto Nanni |
Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 1-14, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|