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/series/wsscs/wsscs40.bht:"
download as .bib file
@incollection{DBLP:series/wsscs/AllenderW93,
author = {Eric Allender and
Klaus W. Wagner},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Counting Hierarchies: Polynomial Time and Constant Depth Circuits},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {469--483},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0035},
doi = {10.1142/9789812794499\_0035},
timestamp = {Mon, 13 Mar 2017 16:29:04 +0100},
biburl = {https://dblp.org/rec/series/wsscs/AllenderW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Blass93,
author = {Andreas Blass},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Topoi and Computation},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {310--317},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0023},
doi = {10.1142/9789812794499\_0023},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Blass93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Book093,
author = {Ronald V. Book and
Osamu Watanabe},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {A View of Structural Complexity Theory},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {451--468},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0034},
doi = {10.1142/9789812794499\_0034},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Book093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/ChangR93,
author = {Richard Chang and
Pankaj Rohatgi},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {On Unique Satisfiability and Randomized Reductions},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {494--503},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0037},
doi = {10.1142/9789812794499\_0037},
timestamp = {Tue, 14 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/ChangR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Compton93,
author = {Kevin J. Compton},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Lower Bounds for the Complexity of Theories},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {318--331},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0024},
doi = {10.1142/9789812794499\_0024},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Compton93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Edelsbrunner93,
author = {Herbert Edelsbrunner},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Computational Geometry},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {1--2},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_others01},
doi = {10.1142/9789812794499\_OTHERS01},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Edelsbrunner93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Edelsbrunner93a,
author = {Herbert Edelsbrunner},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Computational Geometry},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {3--48},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0001},
doi = {10.1142/9789812794499\_0001},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Edelsbrunner93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Ehrig93,
author = {Hartmut Ehrig},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Algebraic Specification},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {49--50},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_others02},
doi = {10.1142/9789812794499\_OTHERS02},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Ehrig93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Ehrig93a,
author = {Hartmut Ehrig},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {ESF-Concepts Linked with Algebraic Module Specifications},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {121--128},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0008},
doi = {10.1142/9789812794499\_0008},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Ehrig93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Ehrig93b,
author = {Hartmut Ehrig},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Concepts and Compatibility Requirements for Implementations and Transformations
of Specifications},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {133--148},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0010},
doi = {10.1142/9789812794499\_0010},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Ehrig93b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/EhrigA93,
author = {Hartmut Ehrig and
Michael A. Arbib},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Linking Schemas and Module Specifications: a Proposal},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {129--132},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0009},
doi = {10.1142/9789812794499\_0009},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/EhrigA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/EhrigA93a,
author = {Hartmut Ehrig and
Helmut Adametz},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {New Compatibility Results for Implementations within the Initial Algebraic
Approach},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {149--160},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0011},
doi = {10.1142/9789812794499\_0011},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/EhrigA93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/EhrigBO93,
author = {Hartmut Ehrig and
Michael Baldamus and
Fernando Orejas},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {New Concepts for Amalgamation and Extension in the Framework of Specification
Logics},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {161--182},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0012},
doi = {10.1142/9789812794499\_0012},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/EhrigBO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/EhrigC93,
author = {Hartmut Ehrig and
Ingo Cla{\ss}en},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Overview of Algebraic Specification Languages, Environments and Tools,
and Algebraic Specifications of Software Systems},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {82--110},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0005},
doi = {10.1142/9789812794499\_0005},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/EhrigC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/EhrigP93,
author = {Hartmut Ehrig and
Peter Pepper},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {On the potential Role of Algebraic Specification within Computer Science},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {51--53},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0002},
doi = {10.1142/9789812794499\_0002},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/EhrigP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Goguen93,
author = {Joseph A. Goguen},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Memories of {ADJ}},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {76--81},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0004},
doi = {10.1142/9789812794499\_0004},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Goguen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/GoguenD93,
author = {Joseph A. Goguen and
Razvan Diaconescu},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {A Short Oxford Survey of Order Sorted Algebra},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {209--222},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0016},
doi = {10.1142/9789812794499\_0016},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/GoguenD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Grobetae-RhodeE93,
author = {Martin Gro{\ss}e{-}Rhode and
Hartmut Ehrig},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Restriction Constructions in Specification Logics},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {195--201},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0014},
doi = {10.1142/9789812794499\_0014},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Grobetae-RhodeE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Gunter93,
author = {Carl A. Gunter},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Forms of Semantic Specification},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {332--353},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0025},
doi = {10.1142/9789812794499\_0025},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Gunter93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Gurevich93,
author = {Yuri Gurevich},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Logic in Computer Science},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {223--224},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_others03},
doi = {10.1142/9789812794499\_OTHERS03},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Gurevich93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Gurevich93a,
author = {Yuri Gurevich},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {On Kolmogorov Machines and Related Issues},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {225--234},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0017},
doi = {10.1142/9789812794499\_0017},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Gurevich93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Gurevich93b,
author = {Yuri Gurevich},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Infinite Games},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {235--244},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0018},
doi = {10.1142/9789812794499\_0018},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Gurevich93b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Gurevich93c,
author = {Yuri Gurevich},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {The challenger-Solver Game: variations on the Theme of P=NP},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {245--253},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0019},
doi = {10.1142/9789812794499\_0019},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Gurevich93c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Gurevich93d,
author = {Yuri Gurevich},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {On the Classical Decision Problem},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {254--265},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0020},
doi = {10.1142/9789812794499\_0020},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Gurevich93d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Gurevich93e,
author = {Yuri Gurevich},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Evolving Algebras: an Attempt to Discover Semantics},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {266--292},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0021},
doi = {10.1142/9789812794499\_0021},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Gurevich93e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Gurevich93f,
author = {Yuri Gurevich},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Zero-One Laws},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {293--309},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0022},
doi = {10.1142/9789812794499\_0022},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Gurevich93f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Hartmanis93,
author = {Juris Hartmanis},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Structural Complexity},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {395--396},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_others04},
doi = {10.1142/9789812794499\_OTHERS04},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Hartmanis93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Hartmanis93a,
author = {Juris Hartmanis},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {A Retrospective on Structural Complexity},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {397--402},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0028},
doi = {10.1142/9789812794499\_0028},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Hartmanis93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Hartmanis93b,
author = {Juris Hartmanis},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Sparse Complete Sets for {NP} and the Optimal Collapse of the Polynomial
Hierarchy},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {403--411},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0029},
doi = {10.1142/9789812794499\_0029},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Hartmanis93b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Hartmanis93c,
author = {Juris Hartmanis},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Collapsing Hierarchies},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {412--422},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0030},
doi = {10.1142/9789812794499\_0030},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Hartmanis93c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Hartmanis93d,
author = {Juris Hartmanis},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {On the Importance of Being II\({}_{\mbox{2}}\)-Hard},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {435--444},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0032},
doi = {10.1142/9789812794499\_0032},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Hartmanis93d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Hartmanis93e,
author = {Juris Hartmanis},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {G{\"{o}}del, von Neumann and the {P} =? {NP} Problem},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {445--450},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0033},
doi = {10.1142/9789812794499\_0033},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Hartmanis93e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/HartmanisCCRR93,
author = {Juris Hartmanis and
Richard Chang and
Suresh Chari and
Desh Ranjan and
Pankaj Rohatgi},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Relativization: a Revisionistic Retrospective},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {537--548},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0040},
doi = {10.1142/9789812794499\_0040},
timestamp = {Tue, 14 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/HartmanisCCRR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/HartmanisCKM93,
author = {Juris Hartmanis and
Richard Chang and
Jim Kadin and
Stephen G. Mitchell},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Some Observations about Relativization of Space Bounded Computations},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {423--434},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0031},
doi = {10.1142/9789812794499\_0031},
timestamp = {Tue, 14 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/HartmanisCKM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/HartmanisCRR93,
author = {Juris Hartmanis and
Richard Chang and
Desh Ranjan and
Pankaj Rohatgi},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {On {IP} = {PSPACE} and Theorems with Narrow Proofs},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {484--493},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0036},
doi = {10.1142/9789812794499\_0036},
timestamp = {Tue, 14 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/HartmanisCRR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/HemachandraO93,
author = {Lane A. Hemachandra and
Mitsunori Ogiwara},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Is {\#}P Closed Under Subtraction?},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {523--536},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0039},
doi = {10.1142/9789812794499\_0039},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/wsscs/HemachandraO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Karhumaki93,
author = {Juhani Karhum{\"{a}}ki},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {The Impact of the {DOL} Problem},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {586--594},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0045},
doi = {10.1142/9789812794499\_0045},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Karhumaki93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Kari93,
author = {Jarkko Kari},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Games played on the plane : Solitaire {\&} Cellular Automata},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {579--585},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0044},
doi = {10.1142/9789812794499\_0044},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Kari93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/KariMPS93,
author = {Lila Kari and
Solomon Marcus and
Gheorghe Paun and
Arto Salomaa},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {In the prehistory of formal language theory: Gauss languages},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {551--562},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0041},
doi = {10.1142/9789812794499\_0041},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/KariMPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Kreowski93,
author = {Hans{-}J{\"{o}}rg Kreowski},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Some initial sections of the Algebraic Specification Tale},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {54--75},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0003},
doi = {10.1142/9789812794499\_0003},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Kreowski93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Kunen93,
author = {Kenneth Kunen},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Declarative Semantics of Logic Programming},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {354--376},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0026},
doi = {10.1142/9789812794499\_0026},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Kunen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Loeckx93,
author = {Jacques Loeckx},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {The Specification System \emph{Obscure}: a Short Survey},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {111--114},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0006},
doi = {10.1142/9789812794499\_0006},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Loeckx93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Niemi93,
author = {Valtteri Niemi},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Density in discrete systems},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {616--626},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0048},
doi = {10.1142/9789812794499\_0048},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Niemi93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Parisi-PresicceP93,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Towards the Algebraic Specification of Classes in Object Oriented
Programming},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {183--194},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0013},
doi = {10.1142/9789812794499\_0013},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Parisi-PresicceP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Salomaa93,
author = {Arto Salomaa},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Formal Language Theory},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {549--550},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_others05},
doi = {10.1142/9789812794499\_OTHERS05},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Salomaa93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Salomaa93a,
author = {Arto Salomaa},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {What Emil said about the Post Correspondence Problem},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {563--571},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0042},
doi = {10.1142/9789812794499\_0042},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Salomaa93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Salomaa93b,
author = {Arto Salomaa},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Decidability in Finite Automata},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {572--578},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0043},
doi = {10.1142/9789812794499\_0043},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Salomaa93b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Salomaa93c,
author = {Arto Salomaa},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {L codes and {L} Systems with immigration},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {595--602},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0046},
doi = {10.1142/9789812794499\_0046},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Salomaa93c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/SannellaT93,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Algebraic specification and formal methods for program development:
what are the real problems?},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {115--120},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0007},
doi = {10.1142/9789812794499\_0007},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/SannellaT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Santean93,
author = {Lila Santean},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Parallel Communicating Grammar Systems},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {603--615},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0047},
doi = {10.1142/9789812794499\_0047},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Santean93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Scedrov93,
author = {Andre Scedrov},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {A Brief Guide to Linear Logic},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {377--394},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0027},
doi = {10.1142/9789812794499\_0027},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Scedrov93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Selman93,
author = {Alan L. Selman},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Complexity Classes for Partial Functions},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {504--522},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0038},
doi = {10.1142/9789812794499\_0038},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Selman93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Subramanian93,
author = {P. S. Subramanian},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Towards an Algebraic Specification Framework for the {VLSI} Design
Process},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {202--208},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0015},
doi = {10.1142/9789812794499\_0015},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Subramanian93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/wsscs/40,
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/2085},
doi = {10.1142/2085},
isbn = {978-981-02-1462-3},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/40.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-04-23 20:06 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
