default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/imycs:"
download as .bib file
@inproceedings{DBLP:conf/imycs/Anselmo90,
author = {Marcella Anselmo},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Two-Way Reading on Words},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {110--119},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_33},
doi = {10.1007/3-540-53414-8\_33},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Anselmo90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/CongMS90,
author = {Bin Cong and
Zevi Miller and
Ivan Hal Sudborough},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Optimum Simulation of Meshes by Small Hypercubes},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {30--46},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_28},
doi = {10.1007/3-540-53414-8\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/CongMS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/CoquideG90,
author = {Jean{-}Luc Coquid{\'{e}} and
R{\'{e}}mi Gilleron},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Proofs and Reachablity Problem for Ground Rewrite Systems},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {120--129},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_34},
doi = {10.1007/3-540-53414-8\_34},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/CoquideG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/CulikD90,
author = {Karel Cul{\'{\i}}k II and
Simant Dube},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Methods for Generating Deterministic Fractals and Image Compression},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {2--28},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_27},
doi = {10.1007/3-540-53414-8\_27},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imycs/CulikD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Damm90,
author = {Carsten Damm},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Problems Complete for +L},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {130--137},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_35},
doi = {10.1007/3-540-53414-8\_35},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Damm90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Franova90,
author = {Marta Franov{\'{a}}},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Constructive Matching - Explanation Based Methodology for Inductive
Theorem Proving},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {138--147},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_36},
doi = {10.1007/3-540-53414-8\_36},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Franova90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/GoerdtS90,
author = {Andreas Goerdt and
Helmut Seidl},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Characterizing Complexity Classes by Higher Type Primitive Recursive
Definitions, Part {II}},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {148--158},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_37},
doi = {10.1007/3-540-53414-8\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/GoerdtS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/GommW90,
author = {Dominik Gomm and
Rolf Walter},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {The Distributed Termination Problem: Formal Solution and Correctness
Based on Petri Nets},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {159--168},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_38},
doi = {10.1007/3-540-53414-8\_38},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/GommW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Kodratoff90,
author = {Yves Kodratoff},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Seven Hard Problems in Symbolic Background Knowledge Acquisition},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {47--61},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_29},
doi = {10.1007/3-540-53414-8\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Kodratoff90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Loebl90,
author = {Martin Loebl},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Greedy Compression Systems},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {169--176},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_39},
doi = {10.1007/3-540-53414-8\_39},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Loebl90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Mnuk90,
author = {Michael M{\~{n}}uk},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {A Div(n) Depth Boolean Circuit for Smooth Modular Inverse},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {177--183},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_40},
doi = {10.1007/3-540-53414-8\_40},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Mnuk90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Moller90,
author = {Martin Fodslette M{\o}ller},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Learning by Conjugate Gradients},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {184--194},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_41},
doi = {10.1007/3-540-53414-8\_41},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Moller90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Pelletier90,
author = {Maryse Pelletier},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Monoids Described by Pushdown Automata},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {195--203},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_42},
doi = {10.1007/3-540-53414-8\_42},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Pelletier90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Rajcani90,
author = {Peter Rajc{\'{a}}ni},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Optimal Parallel 3-Colouring Algorithm for Rooted Trees and Its Application},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {204--213},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_43},
doi = {10.1007/3-540-53414-8\_43},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Rajcani90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Reinhardt90,
author = {Klaus Reinhardt},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Hierarchies over the Context-Free Languages},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {214--224},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_44},
doi = {10.1007/3-540-53414-8\_44},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Reinhardt90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Reutenauer90,
author = {Christophe Reutenauer},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Subsequential Functions: Characterizations, Minimization, Examples},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {62--79},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_30},
doi = {10.1007/3-540-53414-8\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Reutenauer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Sain90,
author = {Ildik{\'{o}} Sain},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Past Proves More Invariance Properties but not PCA's},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {80--92},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_31},
doi = {10.1007/3-540-53414-8\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Sain90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Santean90,
author = {Lila Santean},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {A Hierarchy of Unary Primitive Recursive String-Functions},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {225--233},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_45},
doi = {10.1007/3-540-53414-8\_45},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Santean90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/SeeboldS90,
author = {Patrice S{\'{e}}{\'{e}}bold and
Karine Slowinski},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Minimizing Picture Words},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {234--243},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_46},
doi = {10.1007/3-540-53414-8\_46},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/SeeboldS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Skodny90,
author = {Peter Skodn{\'{y}}},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Remarks on the Frequency-Coded Neural Nets Complexity},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {244--250},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_47},
doi = {10.1007/3-540-53414-8\_47},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Skodny90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Stiebe90,
author = {Ralf Stiebe},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Picture Generation Using Matrix Systems},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {251--260},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_48},
doi = {10.1007/3-540-53414-8\_48},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Stiebe90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Suttner90,
author = {Christian B. Suttner},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Representing Heuristic-Relevant Information for an Automated Theorem
Prover},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {261--270},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_49},
doi = {10.1007/3-540-53414-8\_49},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Suttner90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Unger90,
author = {Kristel Unger},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {A New Method for Proving Lower Bounds in the Model of Algebraic Decision
Trees},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {271--277},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_50},
doi = {10.1007/3-540-53414-8\_50},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Unger90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Waczulik90,
author = {Juraj Waczul{\'{\i}}k},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Area Time Squared and Area Complexity of {VLSI} Computations is Strongly
Unclosed Under Union and Intersection},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {278--287},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_51},
doi = {10.1007/3-540-53414-8\_51},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Waczulik90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Walukiewicz90,
author = {Igor Walukiewicz},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Decision Procedure for Checking Validity of {PAL} Formulas},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {288--298},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_52},
doi = {10.1007/3-540-53414-8\_52},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Walukiewicz90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Wiedermann90,
author = {Juraj Wiedermann},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Complexity Issues in Discrete Neurocomputing},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
pages = {93--108},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8\_32},
doi = {10.1007/3-540-53414-8\_32},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Wiedermann90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imycs/1990,
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Aspects and Prospects of Theoretical Computer Science, 6th International
Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November
19-23, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {464},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53414-8},
doi = {10.1007/3-540-53414-8},
isbn = {3-540-53414-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imycs/1988,
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0015922},
doi = {10.1007/BFB0015922},
isbn = {3-540-51516-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Cortolezzis88,
author = {Daniele Cortolezzis},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {The Virtual Floating Grid File},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {116--127},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015932},
doi = {10.1007/BFB0015932},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Cortolezzis88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Esik88,
author = {Zolt{\'{a}}n {\'{E}}sik},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {An Extension of the Krohn-Rhodes Decomposition of Automata},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {66--71},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015928},
doi = {10.1007/BFB0015928},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Esik88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Gaibisso88,
author = {Carlo Gaibisso},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {A Partially Persistent Data Structure for the Set-Union Problem with
Backtracking},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {128--135},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015933},
doi = {10.1007/BFB0015933},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Gaibisso88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Harmelen88,
author = {Frank van Harmelen},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {The Limitations of Partial Evaluation},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {170--187},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015938},
doi = {10.1007/BFB0015938},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imycs/Harmelen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Hinz88,
author = {Friedhelm Hinz},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Questions of Decidability for Context-free Chain Code Picture Languages},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {2--11},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015923},
doi = {10.1007/BFB0015923},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Hinz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/InoueT88,
author = {Katsushi Inoue and
Itsuo Takanami},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {A Survey of Two-Dimensional Automata Theory},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {72--91},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015929},
doi = {10.1007/BFB0015929},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/InoueT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/ItoIT88,
author = {Akira Ito and
Katsushi Inoue and
Itsuo Takanami},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {The Simulation of Two-Dimensional One-Marker Automata by Three-Way
Turing Machines},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {92--101},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015930},
doi = {10.1007/BFB0015930},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/ItoIT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Jantke88,
author = {Klaus P. Jantke},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Algorithmic Learning from Incomplete Information - Principles and
Problems},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {188--207},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015939},
doi = {10.1007/BFB0015939},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Jantke88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Jiraskova88,
author = {Galina Jir{\'{a}}skov{\'{a}}},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Chomsky Hierarchy and Communication Complexity},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {12--18},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015924},
doi = {10.1007/BFB0015924},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Jiraskova88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Kari88,
author = {Jarkko Kari},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {A Cryptosystem Based on Propositional Logic},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {210--219},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015940},
doi = {10.1007/BFB0015940},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Kari88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Krivanek88,
author = {Mirko Kriv{\'{a}}nek},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {A Note on the Computational Complexity of Bracketing and Related Problems},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {136--145},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015934},
doi = {10.1007/BFB0015934},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Krivanek88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Lange88,
author = {Klaus{-}J{\"{o}}rn Lange},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Complexity Theory and Formal Languages},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {19--36},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015925},
doi = {10.1007/BFB0015925},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Lange88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Latteux88,
author = {Michel Latteux},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Rational Cones and Commutations},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {37--54},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015926},
doi = {10.1007/BFB0015926},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Latteux88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/LoeblN88,
author = {Martin Loebl and
Jaroslav Nesetril},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Postorder Hierarchy for Path Compressions and Set Union},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {146--151},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015935},
doi = {10.1007/BFB0015935},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imycs/LoeblN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Reichel88,
author = {Bernd Reichel},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {A Remark on Some Classifications of Indian Parallel Languages},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {55--65},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015927},
doi = {10.1007/BFB0015927},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Reichel88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Salomaa88,
author = {Arto Salomaa},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Cryptography and Data Security},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {220--244},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015941},
doi = {10.1007/BFB0015941},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Salomaa88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Slobodova88,
author = {Anna Slobodov{\'{a}}},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {Some Properties of Space-Bounded Synchronized Alternating Turing Machines
with Only Universal States},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {102--113},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015931},
doi = {10.1007/BFB0015931},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Slobodova88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Unger88,
author = {Kristel Unger},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {The Convex Hull Problem on Grides - Computational and Combinatorial
Aspects},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {152--160},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015936},
doi = {10.1007/BFB0015936},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Unger88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Wood88,
author = {Derick Wood},
editor = {J{\"{u}}rgen Dassow and
Jozef Kelemen},
title = {The Riches of Rectangles},
booktitle = {Machines, Languages, and Complexity, 5th International Meeting of
Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {381},
pages = {161--168},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0015937},
doi = {10.1007/BFB0015937},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Wood88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imycs/1986,
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18535-6},
doi = {10.1007/3-540-18535-6},
isbn = {3-540-18535-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/1986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Aladyev86,
author = {Victor Aladyev},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Recent results on the theory of homogeneous structures},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {110--128},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_34},
doi = {10.1007/3540185356\_34},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Aladyev86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Csuhaj-Varju86,
author = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}}},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {A connection between descriptional complexity of context-free grammars
and grammar form theory},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {60--74},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_31},
doi = {10.1007/3540185356\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Csuhaj-Varju86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Hromkovic86,
author = {Juraj Hromkovic},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Lower bound techniques for {VLSI} algorithms},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {2--25},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_27},
doi = {10.1007/3540185356\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Hromkovic86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Kalas86,
author = {Ivan Kalas},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {A formal model of knowledge-based systems},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {170--181},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_37},
doi = {10.1007/3540185356\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Kalas86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Karhumaki86,
author = {Juhani Karhum{\"{a}}ki},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {The equivalence of mappings on languages},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {26--38},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_28},
doi = {10.1007/3540185356\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Karhumaki86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Kleijn86,
author = {H. C. M. Kleijn},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Basic ideas of selective substitution grammars},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {75--95},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_32},
doi = {10.1007/3540185356\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Kleijn86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Kralova86,
author = {M{\'{a}}ria Kr{\'{a}}lov{\'{a}}},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {A note on the ratio function in {DOL} Systems},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {129--137},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_35},
doi = {10.1007/3540185356\_35},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Kralova86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Lindenmayer86,
author = {Aristid Lindenmayer},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Models for multicellular development: Characterization, inference
and complexity of L-systems},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {138--168},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_36},
doi = {10.1007/3540185356\_36},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Lindenmayer86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Paun86,
author = {Gheorghe Paun},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Some recent restrictions in the derivation of context-free grammars},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {96--108},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_33},
doi = {10.1007/3540185356\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Paun86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Sakarovitch86,
author = {Jacques Sakarovitch},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Kleene's theorem revisited},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {39--50},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_29},
doi = {10.1007/3540185356\_29},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imycs/Sakarovitch86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Springsteel86,
author = {Frederick N. Springsteel},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Basic complexity analysis of hypothesis formation},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {182--199},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_38},
doi = {10.1007/3540185356\_38},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Springsteel86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Szeredi86,
author = {P{\'{e}}ter Szeredi},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Perspectives of logic programming},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {200--213},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_39},
doi = {10.1007/3540185356\_39},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Szeredi86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Tuza86,
author = {Zsolt Tuza},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Some combinatorial problems concerning finite languages},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {51--58},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_30},
doi = {10.1007/3540185356\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Tuza86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-10-15 12:06 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
