Sign in
IMYCS
1986
1987
1989
1990
1986
1990
Keyphrases
Publications
1990
Kristel Unger
A New Method for Proving Lower Bounds in the Model of Algebraic Decision Trees.
IMYCS
(1990)
Christian B. Suttner
Representing Heuristic-Relevant Information for an Automated Theorem Prover.
IMYCS
(1990)
Marcella Anselmo
Two-Way Reading on Words.
IMYCS
(1990)
Peter Rajcáni
Optimal Parallel 3-Colouring Algorithm for Rooted Trees and Its Application.
IMYCS
(1990)
Lila Santean
A Hierarchy of Unary Primitive Recursive String-Functions.
IMYCS
(1990)
Bin Cong
,
Zevi Miller
,
Ivan Hal Sudborough
Optimum Simulation of Meshes by Small Hypercubes.
IMYCS
(1990)
Juraj Wiedermann
Complexity Issues in Discrete Neurocomputing.
IMYCS
(1990)
Martin Loebl
Greedy Compression Systems.
IMYCS
(1990)
Carsten Damm
Problems Complete for +L.
IMYCS
(1990)
Ralf Stiebe
Picture Generation Using Matrix Systems.
IMYCS
(1990)
Klaus Reinhardt
Hierarchies over the Context-Free Languages.
IMYCS
(1990)
Martin Fodslette Møller
Learning by Conjugate Gradients.
IMYCS
(1990)
Jean-Luc Coquidé
,
Rémi Gilleron
Proofs and Reachablity Problem for Ground Rewrite Systems.
IMYCS
(1990)
Karel Culík II
,
Simant Dube
Methods for Generating Deterministic Fractals and Image Compression.
IMYCS
(1990)
Andreas Goerdt
,
Helmut Seidl
Characterizing Complexity Classes by Higher Type Primitive Recursive Definitions, Part II.
IMYCS
(1990)
Dominik Gomm
,
Rolf Walter
The Distributed Termination Problem: Formal Solution and Correctness Based on Petri Nets.
IMYCS
(1990)
Yves Kodratoff
Seven Hard Problems in Symbolic Background Knowledge Acquisition.
IMYCS
(1990)
Marta Franová
Constructive Matching - Explanation Based Methodology for Inductive Theorem Proving.
IMYCS
(1990)
Christophe Reutenauer
Subsequential Functions: Characterizations, Minimization, Examples.
IMYCS
(1990)
Patrice Séébold
,
Karine Slowinski
Minimizing Picture Words.
IMYCS
(1990)
Peter Skodný
Remarks on the Frequency-Coded Neural Nets Complexity.
IMYCS
(1990)
Maryse Pelletier
Monoids Described by Pushdown Automata.
IMYCS
(1990)
Ildikó Sain
Past Proves More Invariance Properties but not PCA's.
IMYCS
(1990)
Igor Walukiewicz
Decision Procedure for Checking Validity of PAL Formulas.
IMYCS
(1990)
Juraj Waczulík
Area Time Squared and Area Complexity of VLSI Computations is Strongly Unclosed Under Union and Intersection.
IMYCS
(1990)
Michael Mñuk
A Div(n) Depth Boolean Circuit for Smooth Modular Inverse.
IMYCS
(1990)
volume 464, 1990
Aspects and Prospects of Theoretical Computer Science, 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990, Proceedings
IMYCS
464 (1990)
volume 381, 1989
Machines, Languages, and Complexity, 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988, Proceedings
IMYCS
381 (1989)
1988
Kristel Unger
The Convex Hull Problem on Grides - Computational and Combinatorial Aspects.
IMYCS
(1988)
Frank van Harmelen
The Limitations of Partial Evaluation.
IMYCS
(1988)
Katsushi Inoue
,
Itsuo Takanami
A Survey of Two-Dimensional Automata Theory.
IMYCS
(1988)
Zoltán Ésik
An Extension of the Krohn-Rhodes Decomposition of Automata.
IMYCS
(1988)
Jarkko Kari
A Cryptosystem Based on Propositional Logic.
IMYCS
(1988)
Mirko Krivánek
A Note on the Computational Complexity of Bracketing and Related Problems.
IMYCS
(1988)
Galina Jirásková
Chomsky Hierarchy and Communication Complexity.
IMYCS
(1988)
Martin Loebl
,
Jaroslav Nesetril
Postorder Hierarchy for Path Compressions and Set Union.
IMYCS
(1988)
Arto Salomaa
Cryptography and Data Security.
IMYCS
(1988)
Michel Latteux
Rational Cones and Commutations.
IMYCS
(1988)
Carlo Gaibisso
A Partially Persistent Data Structure for the Set-Union Problem with Backtracking.
IMYCS
(1988)
Anna Slobodová
Some Properties of Space-Bounded Synchronized Alternating Turing Machines with Only Universal States.
IMYCS
(1988)
Friedhelm Hinz
Questions of Decidability for Context-free Chain Code Picture Languages.
IMYCS
(1988)
Daniele Cortolezzis
The Virtual Floating Grid File.
IMYCS
(1988)
Klaus P. Jantke
Algorithmic Learning from Incomplete Information - Principles and Problems.
IMYCS
(1988)
Akira Ito
,
Katsushi Inoue
,
Itsuo Takanami
The Simulation of Two-Dimensional One-Marker Automata by Three-Way Turing Machines.
IMYCS
(1988)
Bernd Reichel
A Remark on Some Classifications of Indian Parallel Languages.
IMYCS
(1988)
Klaus-Jörn Lange
Complexity Theory and Formal Languages.
IMYCS
(1988)
Derick Wood
The Riches of Rectangles.
IMYCS
(1988)
volume 281, 1987
Trends, Techniques, and Problems in Theoretical Computer Science, 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986, Proceedings
IMYCS
281 (1987)
1986
Gheorghe Paun
Some recent restrictions in the derivation of context-free grammars.
IMYCS
(1986)
Juraj Hromkovic
Lower bound techniques for VLSI algorithms.
IMYCS
(1986)