default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fct/fct99.bht:"
download as .bib file
@inproceedings{DBLP:conf/fct/BazganV99,
author = {Cristina Bazgan and
Wenceslas Fernandez de la Vega},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {A Polynomial Time Approximation Scheme for Dense {MIN} 2SAT},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {91--99},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_6},
doi = {10.1007/3-540-48321-7\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BazganV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BeauquierS99,
author = {Dani{\`{e}}le Beauquier and
Anatol Slissenko},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Decidable Classes of the Verification Problem in a Timed Predicate
Logic},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {100--111},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_7},
doi = {10.1007/3-540-48321-7\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/BeauquierS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BonoB99,
author = {Viviana Bono and
Michele Bugliesi},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Interpretations of Extensible Objects and Types},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {112--123},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_8},
doi = {10.1007/3-540-48321-7\_8},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/BonoB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BorchertHR99,
author = {Bernd Borchert and
Lane A. Hemaspaandra and
J{\"{o}}rg Rothe},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Restrictive Acceptance Suffices for Equivalence Problems},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {124--135},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_9},
doi = {10.1007/3-540-48321-7\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/BorchertHR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BordihnDV99,
author = {Henning Bordihn and
J{\"{u}}rgen Dassow and
Gy{\"{o}}rgy Vaszil},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Grammar Systems as Language Analyzers and Recursively Enumerable Languages},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {136--147},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_10},
doi = {10.1007/3-540-48321-7\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/BordihnDV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BoudolD99,
author = {G{\'{e}}rard Boudol and
Silvano Dal{-}Zilio},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {An Interpretation of Extensible Objects},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {148--160},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_11},
doi = {10.1007/3-540-48321-7\_11},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/BoudolD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BreveglieriCC99,
author = {Luca Breveglieri and
Stefano Crespi{-}Reghizzi and
Alessandra Cherubini},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {161--172},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_12},
doi = {10.1007/3-540-48321-7\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/BreveglieriCC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BuchholzKK99,
author = {Thomas Buchholz and
Andreas Klein and
Martin Kutrib},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Iterative Arrays with a Wee Bit Alternation},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {173--184},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_13},
doi = {10.1007/3-540-48321-7\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/BuchholzKK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/CabelloPS99,
author = {Sergio Cabello and
Carles Padr{\'{o}} and
Germ{\'{a}}n S{\'{a}}ez},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Secret Sharing Schemes with Detection of Cheaters for a General Access
Structure},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {185--194},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_14},
doi = {10.1007/3-540-48321-7\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/CabelloPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/CorradiniHM99,
author = {Andrea Corradini and
Reiko Heckel and
Ugo Montanari},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Tile Transition Systems as Structured Coalgebras},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {13--38},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_2},
doi = {10.1007/3-540-48321-7\_2},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/CorradiniHM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/DediuB99,
author = {Luminita Dediu and
Douglas S. Bridges},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Constructive Notes on Uniform and Locally Convex Spaces},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {195--203},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_15},
doi = {10.1007/3-540-48321-7\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/DediuB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Dima99,
author = {Catalin Dima},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Kleene Theorems for Event-Clock Automata},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {215--225},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_17},
doi = {10.1007/3-540-48321-7\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Dima99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/DomosiK99,
author = {P{\'{a}}l D{\"{o}}m{\"{o}}si and
Manfred Kudlek},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Strong Iteration Lemmata for Regular, Linear, Context-Free, and Linear
Indexed Languages},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {226--233},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_18},
doi = {10.1007/3-540-48321-7\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/DomosiK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Drewes99,
author = {Frank Drewes},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Exponential Output Size of Top-Down Tree Transducers},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {234--245},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_19},
doi = {10.1007/3-540-48321-7\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Drewes99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/DrosteK99,
author = {Manfred Droste and
Dietrich Kuske},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {On Recognizable Languages in Divisibility Monoids},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {246--257},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_20},
doi = {10.1007/3-540-48321-7\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/DrosteK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/EneM99,
author = {Cristian Ene and
Traian Muntean},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Expressiveness of Point-to-Point versus Broadcast Communications},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {258--268},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_21},
doi = {10.1007/3-540-48321-7\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/EneM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Forster99,
author = {J{\"{u}}rgen Forster},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {On Relative Loss Bounds in Generalized Linear Regression},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {269--280},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_22},
doi = {10.1007/3-540-48321-7\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Forster99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Freund99,
author = {Rudolf Freund},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Generalized P-Systems},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {281--292},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_23},
doi = {10.1007/3-540-48321-7\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Freund99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/GeorgiadesMS99,
author = {Stavros Georgiades and
Marios Mavronicolas and
Paul G. Spirakis},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Optimal, Distributed Decision-Making: The Case of No Communication},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {293--303},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_24},
doi = {10.1007/3-540-48321-7\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/GeorgiadesMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/HalavaHH99,
author = {Vesa Halava and
Tero Harju and
Mika Hirvensalo},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Generalized {PCP} Is Decidable for Marked Morphisms},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {304--315},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_25},
doi = {10.1007/3-540-48321-7\_25},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/HalavaHH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Hennessy99,
author = {Matthew Hennessy},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Axiomatising Asynchronous Process Calculi (abstract)},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {90},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_5},
doi = {10.1007/3-540-48321-7\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Hennessy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/IwamotoHMI99,
author = {Chuzo Iwamoto and
Tomonobu Hatsuyama and
Kenichi Morita and
Katsunobu Imai},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {On Time-Constructible Functions in One-Dimensional Cellular Automata},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {316--326},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_26},
doi = {10.1007/3-540-48321-7\_26},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/IwamotoHMI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Juban99,
author = {Laurent Juban},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Dichotomy Theorem for the Generalized Unique Satisfiability Problem},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {327--337},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_27},
doi = {10.1007/3-540-48321-7\_27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Juban99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Karpinski99,
author = {Marek Karpinski},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Randomized Complexity of Linear Arrangements and Polyhedra},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {1--12},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_1},
doi = {10.1007/3-540-48321-7\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Karpinski99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KleijnMR99,
author = {H. C. M. Kleijn and
R{\'{e}}mi Morin and
Brigitte Rozoy},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {A General Categorical Connection between Local Event Structures and
Local Traces},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {338--349},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_28},
doi = {10.1007/3-540-48321-7\_28},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/KleijnMR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Klempien-HinrichsKT99,
author = {Renate Klempien{-}Hinrichs and
Hans{-}J{\"{o}}rg Kreowski and
Stefan Taubenberger},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Correct Translation of Mutually Recursive Function Systems into {TOL}
Collage Grammars},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {350--361},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_29},
doi = {10.1007/3-540-48321-7\_29},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Klempien-HinrichsKT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KnapikP99,
author = {Teodor Knapik and
{\'{E}}tienne Payet},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Synchronized Product of Linear Bounded Machines},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {362--373},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_30},
doi = {10.1007/3-540-48321-7\_30},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/KnapikP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KolpakovK99,
author = {Roman M. Kolpakov and
Gregory Kucherov},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {On Maximal Repetitions in Words},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {374--385},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_31},
doi = {10.1007/3-540-48321-7\_31},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fct/KolpakovK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Lucanu99,
author = {Dorel Lucanu},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Axiomatization of the Coherence Property for Categories of Symmetries},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {386--397},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_32},
doi = {10.1007/3-540-48321-7\_32},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Lucanu99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Martin-VideM99,
author = {Carlos Mart{\'{\i}}n{-}Vide and
Alexandru Mateescu},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Sewing Grammars},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {398--408},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_33},
doi = {10.1007/3-540-48321-7\_33},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Martin-VideM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/PaunP99,
author = {Andrei Paun and
Mihaela Paun},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {State and Transition Complexity of Watson-Crick Finite Automata},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {409--420},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_34},
doi = {10.1007/3-540-48321-7\_34},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/PaunP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Piliere99,
author = {Catherine Pili{\`{e}}re},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {A Confluence Result for a Typed lambda-Calculus of Exception Handling
with Fixed-Point},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {421--432},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_35},
doi = {10.1007/3-540-48321-7\_35},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Piliere99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/PopoviciP99,
author = {Adriana Popovici and
Dan Popovici},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {delta-Uniformly Decidable Sets and Turing Machines},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {433--440},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_36},
doi = {10.1007/3-540-48321-7\_36},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/PopoviciP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Reinhardt99,
author = {Klaus Reinhardt},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {A Parallel Context-Free Derivation Hierarchy},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {441--450},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_37},
doi = {10.1007/3-540-48321-7\_37},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Reinhardt99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/RidderB99,
author = {H. N. de Ridder and
Hans L. Bodlaender},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Graph Automorphisms with Maximal Projection Distances},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {204--214},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_16},
doi = {10.1007/3-540-48321-7\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/RidderB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/RylRC99,
author = {Isabelle Ryl and
Yves Roos and
Mireille Clerbout},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Generalized Synchronization Languages},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {451--462},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_38},
doi = {10.1007/3-540-48321-7\_38},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fct/RylRC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Salomaa99,
author = {Arto Salomaa},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Caesar and {DNA.} Views on Cryptology},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {39--53},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_3},
doi = {10.1007/3-540-48321-7\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Salomaa99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/ScheweT99,
author = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {A Generalization of Dijkstra's Calculus to Typed Program Specifications},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {463--474},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_39},
doi = {10.1007/3-540-48321-7\_39},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fct/ScheweT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/SeynhaeveTT99,
author = {Franck Seynhaeve and
Sophie Tison and
Marc Tommasi},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Homomorphisms and Concurrent Term Rewriting},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {475--487},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_40},
doi = {10.1007/3-540-48321-7\_40},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/SeynhaeveTT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/ShallitW99,
author = {Jeffrey O. Shallit and
Ming{-}wei Wang},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {On Two-Sided Infinite Fixed Points of Morphisms},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {488--499},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_41},
doi = {10.1007/3-540-48321-7\_41},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fct/ShallitW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Sharp99,
author = {Jonathan Paul Sharp},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Tiling Multi-dimensional Arrays},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {500--511},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_42},
doi = {10.1007/3-540-48321-7\_42},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Sharp99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Sofronie-StokkermansS99,
author = {Viorica Sofronie{-}Stokkermans and
Karel Stokkermans},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Modeling Interaction by Sheaves and Geometric Logic},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {512--523},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_43},
doi = {10.1007/3-540-48321-7\_43},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Sofronie-StokkermansS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/SpakowskiV99,
author = {Holger Spakowski and
J{\"{o}}rg Vogel},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {The Operators minCh and maxCh on the Polynomial Hierarchy},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {524--535},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_44},
doi = {10.1007/3-540-48321-7\_44},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/SpakowskiV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Staiger99,
author = {Ludwig Staiger},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {The Kolmogorov Complexity of Real Numbers},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {536--546},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_45},
doi = {10.1007/3-540-48321-7\_45},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Staiger99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Trakhtenbrot99,
author = {Boris A. Trakhtenbrot},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Automata and Their Interaction: Definitional Suggestions},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {54--89},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_4},
doi = {10.1007/3-540-48321-7\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Trakhtenbrot99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/VirbitskaiteP99,
author = {Irina B. Virbitskaite and
E. Pokozy},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {A Partial Order Method for the Verification of Time Petri Nets},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {547--558},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_46},
doi = {10.1007/3-540-48321-7\_46},
timestamp = {Mon, 16 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fct/VirbitskaiteP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Zerovnik99,
author = {Janez Zerovnik},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Deriving Formulas for Domination Numbers of Fasciagraphs and Rotagraphs},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {559--568},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_47},
doi = {10.1007/3-540-48321-7\_47},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fct/Zerovnik99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/1999,
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7},
doi = {10.1007/3-540-48321-7},
isbn = {3-540-66412-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/1999.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-11-06 10:21 CET 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:
