default search action
Search dblp for Publications
export results for "toc:db/conf/imycs/imycs1990.bht:"
@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} }
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.