default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/focs/focs69.bht:"
download as .bib file
@inproceedings{DBLP:conf/focs/AhoU69,
author = {Alfred V. Aho and
Jeffrey D. Ullman},
title = {A Characterization of Two-Way Deterministic Classes of Languages},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {231--239},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.1},
doi = {10.1109/SWAT.1969.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/AhoU69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ArnoldN69,
author = {Thomas F. Arnold and
Monroe M. Newborn},
title = {Iteratively Realized Sequential Circuits: Further Considerations},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {194--212},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.11},
doi = {10.1109/SWAT.1969.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/ArnoldN69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Booth69,
author = {Taylor L. Booth},
title = {Probabilistic Representation of Formal Languages},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {74--81},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.17},
doi = {10.1109/SWAT.1969.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Booth69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BorodinCH69,
author = {Allan Borodin and
Robert L. Constable and
John E. Hopcroft},
title = {Dense and Non-Dense Families of Complexity Classes},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {7--19},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.4},
doi = {10.1109/SWAT.1969.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BorodinCH69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Brainerd69,
author = {Walter S. Brainerd},
title = {Semi-Thue Systems and Representations of Trees},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {240--244},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.19},
doi = {10.1109/SWAT.1969.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Brainerd69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BrunoA69,
author = {John L. Bruno and
Stanley M. Altman},
title = {Asynchronous Control Networks},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {61--73},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.2},
doi = {10.1109/SWAT.1969.2},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BrunoA69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Constable69,
author = {Robert L. Constable},
title = {The Operator Gap},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {20--26},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.27},
doi = {10.1109/SWAT.1969.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Constable69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Fischer69,
author = {Michael J. Fischer},
title = {Two Characterizations of the Context-Sensitive Languages},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {149--156},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.29},
doi = {10.1109/SWAT.1969.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Fischer69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FischerR69,
author = {Gerald A. Fischer and
George N. Raney},
title = {On the Representation of Formal Languages Using Automata on Networks},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {157--165},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.15},
doi = {10.1109/SWAT.1969.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FischerR69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Gelenbe69,
author = {Erol Gelenbe},
title = {On Probabilistic Automata with Structural Restrictions},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {90--99},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.13},
doi = {10.1109/SWAT.1969.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Gelenbe69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GrayH69,
author = {Jim Gray and
Michael A. Harrison},
title = {Single Pass Precedence Analysis (Extended Abstract)},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {106--117},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.20},
doi = {10.1109/SWAT.1969.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GrayH69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Greibach69,
author = {Sheila A. Greibach},
title = {Full AFLs and Nested Iterated Substitution},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {222--230},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.9},
doi = {10.1109/SWAT.1969.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Greibach69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HopcroftK69,
author = {John E. Hopcroft and
L. R. Kerr},
title = {Some Techniques for Proving Certain Simple Programs Optimal},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {36--45},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.21},
doi = {10.1109/SWAT.1969.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/HopcroftK69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/JoshiKY69,
author = {Aravind K. Joshi and
S. Rao Kosaraju and
H. Yamada},
title = {String Adjunct Grammars},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {245--262},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.23},
doi = {10.1109/SWAT.1969.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/JoshiKY69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KfouryL69,
author = {Denis J. Kfoury and
Chung L. Liu},
title = {Definite Stochastic Sequential Machines and Definite Stochastic Matrices},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {100--105},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.3},
doi = {10.1109/SWAT.1969.3},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/KfouryL69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KingW69,
author = {W. Frank King III and
Peter Weiner},
title = {On the Modular Decomposition of Autonomous Sequential Machines},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {213--221},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.14},
doi = {10.1109/SWAT.1969.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/KingW69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Kohavi69,
author = {Igal Kohavi},
title = {Fault Diagnosis of Logical Circuits},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {166--173},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.6},
doi = {10.1109/SWAT.1969.6},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Kohavi69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Kosaraju69,
author = {S. Rao Kosaraju},
title = {Recognition of Context-Free and Stack Languages},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {129--132},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.18},
doi = {10.1109/SWAT.1969.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Kosaraju69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Kriz69,
author = {Thomas A. Kriz},
title = {Machine Identification Concepts of Path Sensitizing Fault Diagnosis},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {174--181},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.12},
doi = {10.1109/SWAT.1969.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Kriz69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Logrippo69,
author = {Luigi Logrippo},
title = {Storage Interference in Asynchronous Computations},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {46--60},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.22},
doi = {10.1109/SWAT.1969.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Logrippo69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Lovell69,
author = {Bernard W. Lovell},
title = {The Incompletely-Specified Finite-State Stochastic Sequential Machine
Equivalence and Reduction},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {82--89},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.26},
doi = {10.1109/SWAT.1969.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Lovell69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/NashC69,
author = {B. O. Nash and
Rina S. Cohen},
title = {Parallel Leveled Grammars},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {263--276},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.16},
doi = {10.1109/SWAT.1969.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/NashC69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ShaS69,
author = {Richard T. Sha and
T. W. Sze},
title = {Threshold Logic: {A} Simplified Synthesis by a Recursive Method},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {182--193},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.28},
doi = {10.1109/SWAT.1969.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/ShaS69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/StearnsR69,
author = {Richard Edwin Stearns and
Daniel J. Rosenkrantz},
title = {Table Machine Simulation},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {118--128},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.24},
doi = {10.1109/SWAT.1969.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/StearnsR69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Tsichritzis69,
author = {Dennis Tsichritzis},
title = {Iterative Procedures},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {27--35},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.10},
doi = {10.1109/SWAT.1969.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Tsichritzis69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Walters69,
author = {Daniel A. Walters},
title = {Deterministic Context-Sensitive Languages},
booktitle = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
pages = {133--148},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://doi.org/10.1109/SWAT.1969.5},
doi = {10.1109/SWAT.1969.5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Walters69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS10,
title = {10th Annual Symposium on Switching and Automata Theory, Waterloo,
Ontario, Canada, October 15-17, 1969},
publisher = {{IEEE} Computer Society},
year = {1969},
url = {https://ieeexplore.ieee.org/xpl/conhome/4569592/proceeding},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FOCS10.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 2025-01-26 14:51 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:
