Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fct/fct77.bht:"
download as .bib file
@inproceedings{DBLP:conf/fct/AdamekK77,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
V{\'{a}}clav Koubek},
editor = {Marek Karpinski},
title = {Remarks on Fixed Points of Functors},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {199--205},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_86},
doi = {10.1007/3-540-08442-8\_86},
timestamp = {Mon, 02 Sep 2019 13:37:20 +0200},
biburl = {https://dblp.org/rec/conf/fct/AdamekK77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/AdamekT77,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Vera Trnkov{\'{a}}},
editor = {Marek Karpinski},
title = {Recognizable and Regular Languages in a Category},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {206--211},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_87},
doi = {10.1007/3-540-08442-8\_87},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/AdamekT77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Arbib77,
author = {Michael A. Arbib},
editor = {Marek Karpinski},
title = {Free Dynamic and Algebraic Semantics},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {212--227},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_88},
doi = {10.1007/3-540-08442-8\_88},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Arbib77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/ArbibM77,
author = {Michael A. Arbib and
Ernest G. Manes},
editor = {Marek Karpinski},
title = {Efficient State-Splitting},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {228--239},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_89},
doi = {10.1007/3-540-08442-8\_89},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/ArbibM77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/ArnoldN77,
author = {Andr{\'{e}} Arnold and
Maurice Nivat},
editor = {Marek Karpinski},
title = {Non Deterministic Recursive Program Schemes},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {12--21},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_65},
doi = {10.1007/3-540-08442-8\_65},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/ArnoldN77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BednarekU77,
author = {Alexander R. Bednarek and
Stanislaw M. Ulam},
editor = {Marek Karpinski},
title = {Some Remarks on Relational Composition in Computational Theory and
Practice},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {22--32},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_66},
doi = {10.1007/3-540-08442-8\_66},
timestamp = {Sat, 30 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fct/BednarekU77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Belaga77,
author = {Edward G. Belaga},
editor = {Marek Karpinski},
title = {On Analysis of Protoschemes},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {361--366},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_103},
doi = {10.1007/3-540-08442-8\_103},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Belaga77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BergstraOW77,
author = {Jan A. Bergstra and
Alexander Ollongren and
Theo P. van der Weide},
editor = {Marek Karpinski},
title = {An Axiomatization of the Rational Data Objects},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {33--38},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_67},
doi = {10.1007/3-540-08442-8\_67},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/BergstraOW77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Berstel77,
author = {Jean Berstel},
editor = {Marek Karpinski},
title = {Some Recent Results on Recognizable Formal Power Series},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {39--48},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_68},
doi = {10.1007/3-540-08442-8\_68},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Berstel77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BlattnerG77,
author = {Meera Blattner and
Seymour Ginsburg},
editor = {Marek Karpinski},
title = {Canonical Forms of Context - Free Grammars and Position Restricted
Grammar Forms},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {49--53},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_69},
doi = {10.1007/3-540-08442-8\_69},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/BlattnerG77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Buchi77,
author = {J. Richard B{\"{u}}chi},
editor = {Marek Karpinski},
title = {Using Determinancy of Games to Eliminate Quantifiers},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {367--378},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_104},
doi = {10.1007/3-540-08442-8\_104},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Buchi77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Budach77,
author = {Lothar Budach},
editor = {Marek Karpinski},
title = {Environments, Labyrinths and Automata},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {54--64},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_70},
doi = {10.1007/3-540-08442-8\_70},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Budach77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BukharajevA77,
author = {R. G. Bukharajev and
Ju. A. Alpin},
editor = {Marek Karpinski},
title = {Methodology of Proving a Finite-State Stochastic Representability
and Nonrepresentability},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {3--11},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_64},
doi = {10.1007/3-540-08442-8\_64},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/BukharajevA77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Cenzer77,
author = {Douglas A. Cenzer},
editor = {Marek Karpinski},
title = {Non-Generable {RE} Sets},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {379--385},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_105},
doi = {10.1007/3-540-08442-8\_105},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Cenzer77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Coy77,
author = {Wolfgang Coy},
editor = {Marek Karpinski},
title = {Automata in Labyrinths},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {65--71},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_71},
doi = {10.1007/3-540-08442-8\_71},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Coy77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Daduna77,
author = {Hans Daduna},
editor = {Marek Karpinski},
title = {Stochastic Algebras and Stochastic Automata over General Measurable
Spaces: Algebraic Theory and a Decomposition Theory},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {72--77},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_72},
doi = {10.1007/3-540-08442-8\_72},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Daduna77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Dassow77,
author = {J{\"{u}}rgen Dassow},
editor = {Marek Karpinski},
title = {Some Remarks on the Algebra of Automation Mapping},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {78--83},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_73},
doi = {10.1007/3-540-08442-8\_73},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Dassow77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/DittrichM77,
author = {Gisbert Dittrich and
Wolfgang Merzenich},
editor = {Marek Karpinski},
title = {Nets over Many Sorted Operator Domains and Their Semantics},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {240--244},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_90},
doi = {10.1007/3-540-08442-8\_90},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/DittrichM77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Ehrich77,
author = {Hans{-}Dieter Ehrich},
editor = {Marek Karpinski},
title = {Algebraic Semantics of Type Definitions and Structured Variables},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {84--97},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_74},
doi = {10.1007/3-540-08442-8\_74},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Ehrich77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Ehrig77,
author = {Hartmut Ehrig},
editor = {Marek Karpinski},
title = {Embedding Theorem in the Algebraic Theory of Graph Grammars},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {245--255},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_91},
doi = {10.1007/3-540-08442-8\_91},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Ehrig77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Elgot77,
author = {Calvin C. Elgot},
editor = {Marek Karpinski},
title = {Some "Geometrical" Categories Associated with Flowchart Schemes},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {256--259},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_92},
doi = {10.1007/3-540-08442-8\_92},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Elgot77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Frumkin77,
author = {Michael A. Frumkin},
editor = {Marek Karpinski},
title = {Polynomial Time Algorithms in the Theory of Linear Diophantine Equations},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {386--392},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_106},
doi = {10.1007/3-540-08442-8\_106},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Frumkin77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Gecseg77,
author = {Ferenc G{\'{e}}cseg},
editor = {Marek Karpinski},
title = {Universal Algebras and Tree Automata},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {98--112},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_75},
doi = {10.1007/3-540-08442-8\_75},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Gecseg77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Hirschberg77,
author = {Daniel S. Hirschberg},
editor = {Marek Karpinski},
title = {Complexity of Common Subsequence Problems},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {393--398},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_107},
doi = {10.1007/3-540-08442-8\_107},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Hirschberg77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Hoehnke77,
author = {Hans{-}J{\"{u}}rgen Hoehnke},
editor = {Marek Karpinski},
title = {On Partial Recursive Definitions and Programs},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {260--274},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_93},
doi = {10.1007/3-540-08442-8\_93},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Hoehnke77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Horvath77,
author = {S{\'{a}}ndor Horv{\'{a}}th},
editor = {Marek Karpinski},
title = {Complexity of Sequence Encoding},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {399--404},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_108},
doi = {10.1007/3-540-08442-8\_108},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Horvath77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/HotzS77,
author = {G{\"{u}}nter Hotz and
Manfred Stadl},
editor = {Marek Karpinski},
title = {Network Complexity},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {405--420},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_109},
doi = {10.1007/3-540-08442-8\_109},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/HotzS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Janicki77,
author = {Ryszard Janicki},
editor = {Marek Karpinski},
title = {Vectors of Coroutines over Blikle Nets},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {113--119},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_76},
doi = {10.1007/3-540-08442-8\_76},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Janicki77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Kanovic77,
author = {Max I. Kanovic},
editor = {Marek Karpinski},
title = {On Computability of Kolmogorov Complexity},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {421--422},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_110},
doi = {10.1007/3-540-08442-8\_110},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Kanovic77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KaphengstR77,
author = {Heinz Kaphengst and
Horst Reichel},
editor = {Marek Karpinski},
title = {Initial Algebraic Semantics for Non Context-Free Languages},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {120--126},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_77},
doi = {10.1007/3-540-08442-8\_77},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/KaphengstR77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Karpinski77,
author = {Marek Karpinski},
editor = {Marek Karpinski},
title = {The Equivalences Problems for Binary EOL-Systems are Decidable},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {423--434},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_111},
doi = {10.1007/3-540-08442-8\_111},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Karpinski77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Kinber77,
author = {Efim B. Kinber},
editor = {Marek Karpinski},
title = {On a Theory of Inductive Inference},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {435--440},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_112},
doi = {10.1007/3-540-08442-8\_112},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Kinber77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KnastM77,
author = {Robert Knast and
Jacek Martinek},
editor = {Marek Karpinski},
title = {Reading Functions and an Extension of Kleene Theorem for some Families
of Languages},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {127--134},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_78},
doi = {10.1007/3-540-08442-8\_78},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/KnastM77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Kreczmar77,
author = {Antoni Kreczmar},
editor = {Marek Karpinski},
title = {On Finite and Infinite Computations},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {441--446},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_113},
doi = {10.1007/3-540-08442-8\_113},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Kreczmar77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Kreowski77,
author = {Hans{-}J{\"{o}}rg Kreowski},
editor = {Marek Karpinski},
title = {Transformationas of Derivation Sequences in Graph Grammars},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {275--286},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_94},
doi = {10.1007/3-540-08442-8\_94},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Kreowski77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Kucera77,
author = {Ludek Kucera},
editor = {Marek Karpinski},
title = {Expected Behavior of Graph Coloring Algorithms},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {447--451},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_114},
doi = {10.1007/3-540-08442-8\_114},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Kucera77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Kurka77,
author = {Petr Kurka},
editor = {Marek Karpinski},
title = {Applicability of a Production in a Categorical Grammar},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {287--293},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_95},
doi = {10.1007/3-540-08442-8\_95},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Kurka77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Lipski77,
author = {Witold Lipski Jr.},
editor = {Marek Karpinski},
title = {Two NP-Complete Problems Related to Information Retrieval},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {452--458},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_115},
doi = {10.1007/3-540-08442-8\_115},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Lipski77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Meseguer77,
author = {Jos{\'{e}} Meseguer},
editor = {Marek Karpinski},
title = {On Order-Complete Universal Algebra and Enriched Functorial Semantics},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {294--301},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_96},
doi = {10.1007/3-540-08442-8\_96},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Meseguer77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Morris77,
author = {Eugene M. Morris},
editor = {Marek Karpinski},
title = {Maximal Rectangular Relations},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {476--481},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_118},
doi = {10.1007/3-540-08442-8\_118},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Morris77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Mostowski77,
author = {Andrzej Wlodzimierz Mostowski},
editor = {Marek Karpinski},
title = {Operations on omega-Regular Languages},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {135--141},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_79},
doi = {10.1007/3-540-08442-8\_79},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Mostowski77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Muldner77,
author = {Tomasz M{\"{u}}ldner},
editor = {Marek Karpinski},
title = {On Properties of Certain Synchronizing Tool for Parallel Computations},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {459--465},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_116},
doi = {10.1007/3-540-08442-8\_116},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Muldner77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Munro77,
author = {J. Ian Munro},
editor = {Marek Karpinski},
title = {The Parallel Complexity of Arithmetic Computation},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {466--475},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_117},
doi = {10.1007/3-540-08442-8\_117},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Munro77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Nagl77,
author = {Manfred Nagl},
editor = {Marek Karpinski},
title = {On the Relation Between Graph Grammars and Graph L-Systems},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {142--151},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_80},
doi = {10.1007/3-540-08442-8\_80},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Nagl77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/NesetrilP77,
author = {Jaroslav Nesetril and
Ales Pultr},
editor = {Marek Karpinski},
title = {A Dushnik - Miller Type Dimension of Graphs and its Complexity},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {482--493},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_119},
doi = {10.1007/3-540-08442-8\_119},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/NesetrilP77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Obtulowicz77,
author = {Adam Obtulowicz},
editor = {Marek Karpinski},
title = {Functorial Semantics of the Type Free lambda-beta eta Calculus},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {302--307},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_97},
doi = {10.1007/3-540-08442-8\_97},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Obtulowicz77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Perrot77,
author = {Jean{-}Fran{\c{c}}ois Perrot},
editor = {Marek Karpinski},
title = {On the Theory of Syntactic Monoids for Rational Languages},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {152--165},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_81},
doi = {10.1007/3-540-08442-8\_81},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Perrot77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Radziszowski77,
author = {S. Radziszowski},
editor = {Marek Karpinski},
title = {Programming and P=NP Conjecture},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {494--498},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_120},
doi = {10.1007/3-540-08442-8\_120},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Radziszowski77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Reiterman77,
author = {Jan Reiterman},
editor = {Marek Karpinski},
title = {A More Categorical Model of Universal Algebra},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {308--313},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_98},
doi = {10.1007/3-540-08442-8\_98},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Reiterman77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Roytberg77,
author = {M. Roytberg},
editor = {Marek Karpinski},
title = {The Equivalence of Schemata with some Feedback},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {166--170},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_82},
doi = {10.1007/3-540-08442-8\_82},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Roytberg77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Salwicki77,
author = {Andrzej Salwicki},
editor = {Marek Karpinski},
title = {An Algorithmic Approach to Set Theory},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {499--510},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_121},
doi = {10.1007/3-540-08442-8\_121},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Salwicki77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Schneider77,
author = {Hans J{\"{u}}rgen Schneider},
editor = {Marek Karpinski},
title = {Graph Grammars},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {314--331},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_99},
doi = {10.1007/3-540-08442-8\_99},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Schneider77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Seese77,
author = {Detlef Seese},
editor = {Marek Karpinski},
title = {Decidability of omaega-Trees with Bounded Sets - {A} Survey},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {511--515},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_122},
doi = {10.1007/3-540-08442-8\_122},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Seese77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/ShyrT77,
author = {Huei{-}Jan Shyr and
Gabriel Thierrin},
editor = {Marek Karpinski},
title = {Disjunctive Languages and Codes},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {171--176},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_83},
doi = {10.1007/3-540-08442-8\_83},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/ShyrT77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Siefkes77,
author = {Dirk Siefkes},
editor = {Marek Karpinski},
title = {Degrees of Circuit Complexity},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {522--531},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_124},
doi = {10.1007/3-540-08442-8\_124},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Siefkes77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Staiger77,
author = {Ludwig Staiger},
editor = {Marek Karpinski},
title = {Empty - Storage - Acceptance of omega-Languages},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {516--521},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_123},
doi = {10.1007/3-540-08442-8\_123},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Staiger77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Tiuryn77,
author = {Jerzy Tiuryn},
editor = {Marek Karpinski},
title = {Fixed-Points and Algebras with Infinitely Long Expressions, {II}},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {332--339},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_100},
doi = {10.1007/3-540-08442-8\_100},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Tiuryn77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Trnkova77,
author = {Vera Trnkov{\'{a}}},
editor = {Marek Karpinski},
title = {Relational Automata ina Category and their Language},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {340--355},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_101},
doi = {10.1007/3-540-08442-8\_101},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Trnkova77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/WagnerS77,
author = {Klaus W. Wagner and
Ludwig Staiger},
editor = {Marek Karpinski},
title = {Recursive omega-Languages},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {532--537},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_125},
doi = {10.1007/3-540-08442-8\_125},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/WagnerS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Wechler77,
author = {Wolfgang Wechler},
editor = {Marek Karpinski},
title = {Families of R-Fuzzy Languages},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {177--186},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_84},
doi = {10.1007/3-540-08442-8\_84},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Wechler77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Weihrauch77,
author = {Klaus Weihrauch},
editor = {Marek Karpinski},
title = {A Genralized Computability Thesis},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {538--542},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_126},
doi = {10.1007/3-540-08442-8\_126},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Weihrauch77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Winkowski77,
author = {J{\'{o}}zef Winkowski},
editor = {Marek Karpinski},
title = {Algebras of Partial Sequences - {A} Tool to Deal with Concurrency},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {187--198},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_85},
doi = {10.1007/3-540-08442-8\_85},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Winkowski77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Wiweger77,
author = {A. Wiweger},
editor = {Marek Karpinski},
title = {Generalized Linton Algebras},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {356--358},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_102},
doi = {10.1007/3-540-08442-8\_102},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/Wiweger77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/1977,
editor = {Marek Karpinski},
title = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8},
doi = {10.1007/3-540-08442-8},
isbn = {3-540-08442-8},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/1977.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-23 12:59 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
