Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thomas Eiter, Georg Gottlob |
The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 1-18, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Hans-Jörg Kreowski, Denis Lapoire |
Criteria to Disprove Context-Freeness of Collage Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 169-178, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Irina A. Lomazova |
On Occurrence Net Semantics for Petri Nets with Contacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 317-328, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Otto, Andrea Sattler-Klein |
FDT is Undecidable for Finitely Presented Monoids with Solvable Word Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 388-399, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Hammar, Bengt J. Nilsson |
Concerning the Time Bounds of Existing Shortest Watchman Route Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 210-221, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Éric Badouel, Philippe Darondeau |
Stratified Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 117-128, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Cucker, Klaus Meer |
Logics Which Capture Complexity Classes over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 157-167, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Armin Kühnemann |
A Two-Dimensional Hierarchy for Attributed Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 281-292, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Daniel A. Spielman |
The Complexity of Error-Correcting Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 67-84, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Holger Petersen 0001 |
The Equivalence of Pebbles and Sensing Heads for Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 400-410, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Thomas Thielke |
Refinement of Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 105-116, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Frank Stephan 0001, Sebastiaan Terwijn |
The Complexity of Universal Text-Learners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 441-451, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Irina B. Virbitskaite, Anzhelika Votintseva |
Behavioural Characterizations of Partial Order Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 463-474, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Martin |
Cellular Automata Universality Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 329-339, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan S. Chlebus, Ludwik Czaja (eds.) |
Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![Springer, 3-540-63386-3 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Hertrampf |
Polynomial Time Machines Equipped with Word Problems over Algebraic Structures as their Acceptance Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 233-244, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Rakesh M. Verma |
Unique Normal Forms for Nonlinear Term Rewriting Systems: Root Overlaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 452-462, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Ciebiera, Adam Malinowski |
A Note on Broadcasting with Linearly Bounded Transmission Faults in Constant Degree Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 150-156, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ulla Koppenhagen, Ernst W. Mayr |
The Complexity of the Coverability, the Containment, and the Equivalence Problems for Commutative Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 257-268, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Damas P. Gruska |
Bounded Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 198-209, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schuierer |
Lower Bounds in On-Line Geometric Searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 429-440, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
From Finite Automata toward Hybrid Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 411-422, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Kudlek, Solomon Marcus, Alexandru Mateescu |
Contextual Grammars with Distributed Catenation and Shuffle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 269-280, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel |
Query Order in the Polynomial Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 222-232, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Zenon Sadowski |
On an Optimal Quantified Propositional Proof System and a Complete Language for NP cap co-NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 423-428, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Markus E. Nebel |
On the Average Complexity of the Membership Problem for a Generalized Dyck Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 352-363, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Christos Levcopoulos, Joachim Gudmundsson |
A Linear-Time Heuristic for Minimum Rectangular Coverings (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 305-316, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Elizaveta A. Okol'nishnikova |
On the Hierarchy of Nondeterministic Branching k-Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 376-387, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Eli Upfal |
Stochastic Analysis of Dynamic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 85-92, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Niedermeier, Klaus Reinhardt, Peter Sanders 0001 |
Towards Optimal Locality in Mesh-Indexings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 364-375, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Christian Choffrut, Leucio Guerra |
Generalized Rational Relations and their Logical Definability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings, pp. 138-149, 1997, Springer, 3-540-63386-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Erik de Haas |
Categorial Graphs (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 263-272, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christoph W. Keßler, Thomas Rauber |
Optimal Continguous Expression DAG Evaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 293-302, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Vladimiro Sassone |
Axiomatizing Petri Net Concatenable Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 414-423, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten, Jan A. Bergstra |
Discrete Time Process Algebra with Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 1-15, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Calude, Marius Zimand |
Effective Category and Measure in Abstract Complexity Theory (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 156-170, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael Bertol |
Efficient Rewriting in Cograph Trace Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 146-155, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001 |
Model-Checking for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 62-88, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Durand 0001, Jacques Mazoyer |
Growing Patterns in 1D Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 211-220, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ngoc-Minh Lê |
Randomized Incremental Construction of Simple Abstract Voronoi Diagrams in 3-Space (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 333-342, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Horst Reichel (eds.) |
Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![Springer, 3-540-60249-6 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Kudlek, Alexandru Mateescu |
Distributed Catenation and Chomsky Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 313-322, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza |
Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 221-232, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe |
A Simple Abstract Semantics for Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 126-135, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kummer, Frank Stephan 0001 |
The Power of Frequency Computation (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 323-332, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen |
From a Concurrent Lambda-Calculus to the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 106-115, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Eric Rémila |
Tiling with Bars and Satisfaction of Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 404-413, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Feodor F. Dragan, Falk Nicolai |
r-Domination Problems on Homogeneously Ordered Graphs (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 201-210, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Reinhardt |
On the Synchronization of Semi-Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 393-403, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Niedermeier, Peter Rossmanith |
PRAM's Towards Realistic Parallelism: BRAM's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 363-373, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anja Gronewold, Hans Fleischhack |
Computing Petri Net Languages by Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 253-262, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Kathleen Fisher, John C. Mitchell |
A Delegation-based Object Calculus with Subtying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 42-61, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maria C. F. Ferreira, Hans Zantema |
Dummy Elimination: Making Termination Easier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 243-252, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Valentin M. Antimirov |
Rewriting Regular Inequalities (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 116-125, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Victor Chepoi, Feodor F. Dragan |
On Condorcet and Median Points of Simple Rectilinear Polygons (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 181-190, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Klaus-Dieter Schewe |
Functional Sorts in Data Type Specifications: A Geometric Approach to Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 424-433, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pighizzini |
How Hard is to Compute the Edit Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 383-392, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jan A. Bergstra, Gheorghe Stefanescu |
Processes with Multiple Entries and Exits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 136-145, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ioan I. Macarie, Mitsunori Ogihara |
Properties of Probabilistic Pushdown Automata (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 343-352, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Chaochen Zhou, Dang Van Hung, Xiaoshan Li |
A Duration Calculus with Infinite Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 16-41, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hanna Klaudel, Elisabeth Pelz |
Communication as Unification in the Petri Box Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 303-312, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ernst W. Mayr |
On Polynomial Ideals, Their Complexity, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 89-105, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Chaboud |
About Planar Cayley Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 171-180, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | G. S. Makanin, Habib Abdulrab, M. N. Maksimenko |
Formal Parametric Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 353-362, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Holger Petersen 0001 |
Some Results Concerning Two-Dimensional Turing Machines and Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 374-382, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Faßbender |
Implementation of a UU-Algorithm for Primitive Recursive Tree Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 233-242, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hristo N. Djidjev, Grammati E. Pantziou, Christos D. Zaroliagis |
Fast Algorithms for Maintaining Shortest Paths in Outerplanar and Planar Digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 191-200, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Petr Jancar, Frantisek Mráz, Martin Plátek, Jörg Vogel 0001 |
Restarting Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 283-292, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Juraj Hromkovic, Ralf Klasing, Dana Pardubská, Walter Unger, Juraj Waczulík, Hubert Wagener |
Effective Systolic Algorithms for Gossiping in Cycles and Two-Dimensional Grids (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, pp. 273-282, 1995, Springer, 3-540-60249-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Faßbender |
Implementation of a Universal Unification Algorithm for Macro Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 222-233, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Robin Milner |
An Action Structure for Synchronous pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 87-105, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Durand 0001 |
Undecidability of the Surjectivity Problem for 2D Cellular Automata: A Simplified Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 204-211, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Torben Hagerup, Martin Maas 0003 |
Generalized Topological Sorting in Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 279-288, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Jürgensen, Stavros Konstantinidis |
The Hierarchy of Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 50-68, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Kuske |
A Maximum Path Length Pumping Lemma for Edge-Replacement Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 342-351, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Martin Dietzfelbinger |
Simulations Between Different Models of Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 16-30, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dang Van Hung, Tran Van Dung |
On the Relation Between Firing Sequences and Processes of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 309-318, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Klaus-Jörn Lange |
On the Complexities of Linear LL(1) and LR(1) Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 299-308, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Virgil Emil Cazanescu |
Local Equational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 162-170, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Paul Fischer, Klaus-Uwe Höffgen, Hanno Lefmann, Tomasz Luczak 0001 |
Approximations with Axis-Aligned Rectangles (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 244-255, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik (eds.) |
Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![Springer, 3-540-57163-9 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Arto Salomaa |
Pattern Languages: Problems of Decidability and Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 121-132, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hongzhong Wu |
Synthesis of O(lg n) Testable Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 452-461, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Robert S. Maier 0001, René Schott |
Regular Approximations to Shuffle Products of Context-free Languages, and Convergence of their Generating Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 352-362, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Potthoff, Wolfgang Thomas |
Regular Tree Languages Without Unary Symbols are Star-Free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 396-405, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Peter Ruzicka, Igor Prívara |
On Tree Pattern Unification Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 418-429, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Kai Salomaa, Derick Wood, Sheng Yu 0001 |
Structural Equivalences and ET0L Grammars (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 430-439, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Paul Fischer |
Finding Maximum Convex Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 234-243, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hans Dietmar Gröger |
Does Transitivity Help? On the Complexity of Poset Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 266-278, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Chrzastowski-Wachtel, Marek Raczunas |
Liveness of Weighted Circuits and the Diophantine Problem of Frobenius. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 171-180, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Margenstern |
Non Erasing Turing Machines: A Frontier Between a Decidable Halting Problem and Universality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 375-385, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Masami Ito |
Dense and Disjunctive Properties of Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 31-49, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski |
Five Facets of Hyperedge Replacement Beyond Context-Freeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 69-86, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Volker Diekert |
Rewriting, Möbius Functions and Semi-Commutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 1-15, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mahesh Girkar, Robert Moll |
Vector Sequence Analysis and Full Weak Safety for Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 256-265, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Pudlák |
AC0 Circuit Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 106-120, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pál Dömösi, Sándor Horváth, Masami Ito, László Kászonyi, Masashi Katsura |
Formal Languages Consisting of Primitive Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 194-203, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ernest G. Manes |
The Equational Theory of a Boolean Monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 363-374, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Lane A. Hemachandra, Riccardo Silvestri |
Easity Checked Self-Reducibility (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 289-298, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Zsuzsanna Róka |
One-way Cellular Automata on Cayley Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 406-417, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|