Search dblp for Publications

export results for "toc:db/conf/mfcs/mfcs73.bht:"

 download as .bib file

@inproceedings{DBLP:conf/mfcs/Anisimov73,
  author       = {A. V. Anisimov},
  title        = {Top-down Analysis of Programming Languages without Backtrack (in Russian)},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {175--180},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 12:55:47 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Anisimov73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Bartol73,
  author       = {W. Bartol},
  title        = {Semiboolean Algebras of Submachines},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {181--183},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Bartol73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/BarzdinP73,
  author       = {Ya. M. Barzdin and
                  K. M. Podineks},
  title        = {Towards a Theory of Inductive Inference (in Russian)},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {9--15},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/BarzdinP73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Bertoni73,
  author       = {Alberto Bertoni},
  title        = {Equations of Formal Power Series over Non Commutative Semiring},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {185--190},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Bertoni73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Blikle73,
  author       = {Andrzej Blikle},
  title        = {An Algebraic Approach to Programs and Their Computations},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {17--26},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Blikle73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Brauer73,
  author       = {Wilfried Brauer},
  title        = {On Grammatical Complexity of Context-Free Languages (Extended Abstract)},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {191--196},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Brauer73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/CarlucciM73,
  author       = {Luigia Carlucci Aiello and
                  Ugo Montanari},
  title        = {Towards a Formal Definition of the Control in Structured Programs},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {169--174},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/CarlucciM73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Chytil73,
  author       = {Michal Chytil},
  title        = {On Changes of Input/Output Coding},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {197--201},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Chytil73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Cleave73,
  author       = {John P. Cleave},
  title        = {Combinatorial Problems {III.} Degrees of Combinatorial Problems of
                  Computing Machines},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {203--207},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Thu, 07 Aug 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Cleave73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/CremersM73,
  author       = {Armin B. Cremers and
                  Otto Mayer},
  title        = {On Vector Languages},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {209--213},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/CremersM73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Culik73,
  author       = {Karel Cul{\'{\i}}k},
  title        = {Equivalences of Parallel Courses of Algorithmic Nets and Precedence
                  Flow Diagrams},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {27--38},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Culik73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Daley73,
  author       = {Robert P. Daley},
  title        = {The Process Complexity and the Understanding of Sequences},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {215--218},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Daley73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Domolki73,
  author       = {B. D{\"{o}}m{\"{o}}lki},
  title        = {On the Formal Definition of Assembly Languages},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {39--50},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Domolki73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Donis73,
  author       = {A. A. Donis},
  title        = {Conditional Metric Completeness of Finite Sets of Automata: {A} Criterion
                  and an Algorithm (in Russian)},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {219--224},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Donis73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Engeler73,
  author       = {Erwin Engeler},
  title        = {Towards a Galois Theory of Algorithmic Problems},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {51--55},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Engeler73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/FlajoletS73,
  author       = {Philippe Flajolet and
                  Jean{-}Marc Steyaert},
  title        = {Decision Problems for Multihead Finite Automata},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {225--230},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/FlajoletS73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Gecseg73,
  author       = {Ferenc G{\'{e}}cseg},
  title        = {Model Theoretical Methods in the Theory of Automata},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {57--63},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Gecseg73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Ginsburg73,
  author       = {Seymour Ginsburg},
  title        = {Substitution and (Semi-)AFL},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {65--69},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Ginsburg73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Gruska73,
  author       = {Jozef Gruska},
  title        = {Descriptional Complexity of Context-Free Languages},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {71--83},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Gruska73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Grzymala-Busse73,
  author       = {Jerzy W. Grzymala{-}Busse},
  title        = {On the Connectivity of the Periodic Sum of Automata},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {231--234},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Grzymala-Busse73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Hajek73,
  author       = {Petr H{\'{a}}jek},
  title        = {Some Logical Problems of Automated Research},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {85--93},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Wed, 12 Apr 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Hajek73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Hartmanis73,
  author       = {Juris Hartmanis},
  title        = {On the Problem of Finding Natural Computational Complexity Measures},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {95--103},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Hartmanis73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Hayes73,
  author       = {Patrick J. Hayes},
  title        = {Computation and Deduction},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {105--117},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Hayes73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Horejs73,
  author       = {J. Horejs},
  title        = {An Algebraic Model for Parallel Processes},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {235--238},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Horejs73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Indermark73,
  author       = {Klaus Indermark},
  title        = {On Ianov Schemas with One Memory Location},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {239--245},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Indermark73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Korec73,
  author       = {Ivan Korec},
  title        = {Computational Complexity Based on Expectation of the Time of Computation
                  on Minsky Machines},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {247--250},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Korec73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Kral73,
  author       = {Jaroslav Kr{\'{a}}l},
  title        = {Some Sources of Primitive Constructs in Programming Languages},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {251--254},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kral73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Kustner73,
  author       = {Herbert K{\"{u}}stner},
  title        = {An Algebraic Characterization of Stochastic Finite-State Automata
                  and Their Behaviour Functions},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {255--258},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kustner73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/MariniM73,
  author       = {Daniele Marini and
                  Pierangelo Miglioli},
  title        = {Characterization of Programs and Their Synthesis from a Formalized
                  Theory},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {259--266},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/MariniM73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Moravek73,
  author       = {Jaroslav Mor{\'{a}}vek},
  title        = {Computational Optimality of a Dynamic Programming Method},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {267--270},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Moravek73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Nekvinda73,
  author       = {Miloslav Nekvinda},
  title        = {On the Complexity of Countable Functions (Abstract)},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {271--272},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Nekvinda73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/NgY73,
  author       = {Peter A. Ng and
                  Raymond T. Yeh},
  title        = {Tree Transformations via Finite Recursive Transition Machines},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {273--277},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/NgY73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Nivat73,
  author       = {Maurice Nivat},
  title        = {Operators on Families of Languages},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {119--124},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Nivat73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Novotny73,
  author       = {Miroslav Novotn{\'{y}}},
  title        = {Constructions of Grammars for Formal Languages},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {125--133},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Novotny73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Pawlak73,
  author       = {Zdzislaw Pawlak},
  title        = {Mathematical Foundation of Information Retrieval},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {135--136},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Pawlak73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/PeakK73,
  author       = {I. Pe{\'{a}}k and
                  N. Q. Khang},
  title        = {On Endomorphism Semigroup of Nilpotent Automata},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {279--284},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/PeakK73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Petri73,
  author       = {C. A. Petri},
  title        = {Concepts of Net Theory},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {137--146},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Thu, 11 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Petri73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Rajlich73,
  author       = {V{\'{a}}clav Rajlich},
  title        = {Relational Structures and Dynamics of Certain Discrete Systems},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {285--291},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Wed, 06 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Rajlich73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Roever73,
  author       = {Willem P. de Roever},
  title        = {Operational and Mathematical Semantics for Recursive Polyadic Program
                  Schemata},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {293--298},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Roever73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Rovan73,
  author       = {Branislav Rovan},
  title        = {Necessary Conditions for Containment of Principal (Semi-)AFL with
                  Bounded Generators},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {299--305},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Rovan73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Salomaa73,
  author       = {Arto Salomaa},
  title        = {L-Systems: {A} Device in Biologically Motivated Automata Theory},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {147--151},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Salomaa73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Samoilenko73,
  author       = {L. G. Samoilenko},
  title        = {Construction and Properties of Context-Sensitive Grammars and Languages
                  (in Russian)},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {307--311},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Samoilenko73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Schnorr73,
  author       = {Claus{-}Peter Schnorr},
  title        = {Lower Bounds for the Product of Time and Space Requirements of Turing
                  Machine Computations},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {153--161},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Schnorr73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Simovici73,
  author       = {Dan A. Simovici},
  title        = {On Some Measures on Free Semigroups Induced by Semiautomata},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {313--316},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Simovici73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Skowron73,
  author       = {Andrzej Skowron},
  title        = {Machines with Input and Output},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {317--319},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Skowron73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Starke73,
  author       = {Peter H. Starke},
  title        = {On the Sequential Relations of Time-Invariant Automata},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {163--168},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Starke73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/StepankovaH73,
  author       = {Olga Step{\'{a}}nkov{\'{a}} and
                  Ivan M. Havel},
  title        = {Some Results Concerning the Situation Calculus},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {321--326},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/StepankovaH73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Stork73,
  author       = {Hans{-}Georg Stork},
  title        = {A Note on Improving Input Strings for Paging Machines},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {327--330},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Stork73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Strnad73,
  author       = {Pavel Strnad},
  title        = {Turing Machine Recognition},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {331--332},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Strnad73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/SudboroughZ73,
  author       = {Ivan Hal Sudborough and
                  A. Zalcberg},
  title        = {On Families of Languages Defined by Time-Bounded Random Access Machines},
  booktitle    = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  pages        = {333--338},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/SudboroughZ73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mfcs/1973,
  title        = {Mathematical Foundations of Computer Science: Proceedings of Symposium
                  and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
                  September 3-8, 1973},
  publisher    = {Mathematical Institute of the Slovak Academy of Sciences},
  year         = {1973},
  timestamp    = {Fri, 04 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/1973.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.