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/focs/focs73.bht:"
download as .bib file
@inproceedings{DBLP:conf/focs/Baugh73,
author = {Charles R. Baugh},
title = {Chow Parameters in Pseudothreshold Logic},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {49--55},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.4},
doi = {10.1109/SWAT.1973.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Baugh73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BlumB73,
author = {Lenore Blum and
Manuel Blum},
title = {Inductive Inference: {A} Recursion Theoretic Approach},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {200--208},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.12},
doi = {10.1109/SWAT.1973.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BlumB73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Bredeson73,
author = {Jon G. Bredeson},
title = {On Multiple Input Change Hazard-Free Combinatorial Switching Circuits
without Feedback},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {56--63},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.19},
doi = {10.1109/SWAT.1973.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Bredeson73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CadiouL73,
author = {Jean{-}Marie Cadiou and
Jean{-}Jacques L{\'{e}}vy},
title = {Mechanizable Proofs about Parallel Processes},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {34--48},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.14},
doi = {10.1109/SWAT.1973.14},
timestamp = {Sun, 08 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/focs/CadiouL73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Chandra73,
author = {Ashok K. Chandra},
title = {Efficient Compilation of Linear Recursive Programs},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {16--25},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.7},
doi = {10.1109/SWAT.1973.7},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Chandra73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Cherniavsky73,
author = {John C. Cherniavsky},
title = {The Complexity of Some Non-Classical Logics},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {209--213},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.28},
doi = {10.1109/SWAT.1973.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Cherniavsky73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ChuangD73,
author = {Henry Y. H. Chuang and
Santanu Das},
title = {Multiple-Input Change Asynchronous Machines Using Controlled Excitation
and Flip-Flops},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {64--69},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.15},
doi = {10.1109/SWAT.1973.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/ChuangD73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Dobkin73,
author = {David P. Dobkin},
title = {On the Optimal Evaluation of a Set of n-Linear Forms},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {92--102},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.22},
doi = {10.1109/SWAT.1973.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Dobkin73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/EhrigPS73,
author = {Hartmut Ehrig and
Michael Pfender and
Hans J{\"{u}}rgen Schneider},
title = {Graph-Grammars: An Algebraic Approach},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {167--180},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.11},
doi = {10.1109/SWAT.1973.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/EhrigPS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Friedman73,
author = {Emily P. Friedman},
title = {Equivalence Problems in Monadic Recursion Schemes},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {26--33},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.8},
doi = {10.1109/SWAT.1973.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Friedman73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GellerH73,
author = {Matthew M. Geller and
Michael A. Harrison},
title = {Characterizations of {LR(0)} Languages (Extended Abstract)},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {103--108},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.3},
doi = {10.1109/SWAT.1973.3},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GellerH73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Joyner73,
author = {William H. Joyner Jr.},
title = {Automatic Theorem-Proving and the Decision Problem},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {159--166},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.2},
doi = {10.1109/SWAT.1973.2},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Joyner73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KamedaT73,
author = {Tiko Kameda and
Shunichi Toida},
title = {Efficient Algorithms for Determining an Extremal Tree of a Graph (Extended
Abstract)},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {12--15},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.6},
doi = {10.1109/SWAT.1973.6},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/KamedaT73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Machtey73,
author = {Michael Machtey},
title = {A Notion of Helping and Pseudo-Complementation in Lattices of Honest
Subrecursive Classes},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {181--189},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.1},
doi = {10.1109/SWAT.1973.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Machtey73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Mehlhorn73,
author = {Kurt Mehlhorn},
title = {On the Size of Sets of Computable Functions},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {190--196},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.23},
doi = {10.1109/SWAT.1973.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Mehlhorn73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MickunasS73,
author = {M. Dennis Mickunas and
Victor B. Schneider},
title = {On the Ability to Cover LR(k) Grammars with LR(1), SLR(1), and (1,1)
Bounded-Context Grammars},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {109--121},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.21},
doi = {10.1109/SWAT.1973.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MickunasS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/PrattY73,
author = {Vaughan R. Pratt and
Foong Frances Yao},
title = {On Lower Bounds for Computing the i-th Largest Element},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {70--81},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.18},
doi = {10.1109/SWAT.1973.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/PrattY73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Rounds73,
author = {William C. Rounds},
title = {Complexity of Recognition in Intermediate-Level Languages},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {145--158},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.5},
doi = {10.1109/SWAT.1973.5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Rounds73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Savage73,
author = {Sam L. Savage},
title = {Statistical Indicators of Optimality},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {85--91},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.26},
doi = {10.1109/SWAT.1973.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Savage73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/SeiferasFM73,
author = {Joel I. Seiferas and
Michael J. Fischer and
Albert R. Meyer},
title = {Refinements of the Nondeterministic Time and Space Hierarchies},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {130--137},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.25},
doi = {10.1109/SWAT.1973.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/SeiferasFM73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/SpiraP73,
author = {Philip M. Spira and
A. Pan},
title = {On Finding and Updating Shortest Paths and Spanning Trees},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {82--84},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.17},
doi = {10.1109/SWAT.1973.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/SpiraP73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Sudborough73,
author = {Ivan Hal Sudborough},
title = {On Tape-Bounded Complexity Classes and Multi-Head Finite Automata},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {138--144},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.20},
doi = {10.1109/SWAT.1973.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Sudborough73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/SzymanskiW73,
author = {Thomas G. Szymanski and
John H. Williams},
title = {Non-Canonical Parsing},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {122--129},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.16},
doi = {10.1109/SWAT.1973.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/SzymanskiW73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Weiner73,
author = {Peter Weiner},
title = {Linear Pattern Matching Algorithms},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.13},
doi = {10.1109/SWAT.1973.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Weiner73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Young73,
author = {Paul Young},
title = {Optimization among Provably Equivalent Programs (Preliminary Abstract)},
booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
pages = {197--199},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://doi.org/10.1109/SWAT.1973.24},
doi = {10.1109/SWAT.1973.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Young73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS14,
title = {14th Annual Symposium on Switching and Automata Theory, Iowa City,
Iowa, USA, October 15-17, 1973},
publisher = {{IEEE} Computer Society},
year = {1973},
url = {https://ieeexplore.ieee.org/xpl/conhome/4569717/proceeding},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FOCS14.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-30 00:50 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:
