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/focs72.bht:"
download as .bib file
@inproceedings{DBLP:conf/focs/Akers72,
author = {Sheldon B. Akers Jr.},
title = {Universal Test Sets for Logic Networks},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {177--184},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.30},
doi = {10.1109/SWAT.1972.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Akers72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BakerB72,
author = {Brenda S. Baker and
Ronald V. Book},
title = {Reversal-Bounded Multi-Pushdown Machines: Extended Abstract},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {207--211},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.21},
doi = {10.1109/SWAT.1972.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BakerB72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Berstel72,
author = {Jean Berstel},
title = {On Sets of Numbers Recognized by Push-Down Automata},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {200--206},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.11},
doi = {10.1109/SWAT.1972.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Berstel72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BrunoCH72,
author = {John L. Bruno and
Edward G. Coffman Jr. and
W. H. Hosken},
title = {Consistency of Synchronization Nets using {P} and {V} Operations},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {71--77},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.2},
doi = {10.1109/SWAT.1972.2},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BrunoCH72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CherniavskyC72,
author = {John C. Cherniavsky and
Robert L. Constable},
title = {Representing Program Schemes in Logic},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {27--39},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.20},
doi = {10.1109/SWAT.1972.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/CherniavskyC72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Friedman72,
author = {Nathan Friedman},
title = {Some Results on the Effect of Arithmetics on Comparison Problems},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {139--143},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.24},
doi = {10.1109/SWAT.1972.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Friedman72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Goguen72,
author = {Joseph A. Goguen},
title = {On Homomorphisms, Simulations, Correctness and Subroutines for Programs
and Program Schemes},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {52--60},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.10},
doi = {10.1109/SWAT.1972.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Goguen72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Horowitz72,
author = {Ellis Horowitz},
title = {The Efficient Calculation of Powers of Polynomials},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {97--104},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.27},
doi = {10.1109/SWAT.1972.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Horowitz72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HossleyR72,
author = {R. Hossley and
Charles Rackoff},
title = {The Emptiness Problem for Automata on Infinite Trees},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {121--124},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.28},
doi = {10.1109/SWAT.1972.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/HossleyR72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/HuangKK72,
author = {C. C. Huang and
Richard Y. Kain and
Larry L. Kinney},
title = {Output Sufficient Modules for Uniform Decomposition of Synchronous
Sequential Circuits},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {192--199},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.17},
doi = {10.1109/SWAT.1972.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/HuangKK72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Johnson72,
author = {David S. Johnson},
title = {Fast Allocation Algorithms},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {144--154},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.4},
doi = {10.1109/SWAT.1972.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Johnson72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/JumpT72,
author = {J. Robert Jump and
P. S. Thiagarajan},
title = {On the Equivalence of Asynchronous Control Structures},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {212--223},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.13},
doi = {10.1109/SWAT.1972.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/JumpT72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Keller72,
author = {Robert M. Keller},
title = {On the Decomposition of Asynchronous Systems},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {78--89},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.12},
doi = {10.1109/SWAT.1972.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Keller72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Kfoury72,
author = {Denis J. Kfoury},
title = {Effective Computability in Algebraic Structures {(A} Schematology
Approach)},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {19--26},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.3},
doi = {10.1109/SWAT.1972.3},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Kfoury72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Liu72,
author = {C. L. Liu},
title = {Optimal Scheduling on Multi-Processor Computing Systems},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {155--160},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.16},
doi = {10.1109/SWAT.1972.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Liu72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Logrippo72,
author = {Luigi Logrippo},
title = {Renamings in Program Schemas (Extended Abstract)},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {67--70},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.19},
doi = {10.1109/SWAT.1972.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Logrippo72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Maibaum72,
author = {T. S. E. Maibaum},
title = {The Characterization of the Derivation Trees of Context Free Sets
of Terms as Regular Sets},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {224--230},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.26},
doi = {10.1109/SWAT.1972.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Maibaum72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MeyerM72,
author = {Albert R. Meyer and
Robert Moll},
title = {Honest Bounds for Complexity Classes of Recursive Functions},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {61--66},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.8},
doi = {10.1109/SWAT.1972.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MeyerM72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MeyerS72,
author = {Albert R. Meyer and
Larry J. Stockmeyer},
title = {The Equivalence Problem for Regular Expressions with Squaring Requires
Exponential Space},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {125--129},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.29},
doi = {10.1109/SWAT.1972.29},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MeyerS72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MoenckB72,
author = {R. Moenck and
Allan Borodin},
title = {Fast Modular Transforms via Division},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {90--96},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.5},
doi = {10.1109/SWAT.1972.5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MoenckB72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Mylopoulos72,
author = {John Mylopoulos},
title = {On the Relation of Graph Grammars and Graph Automata},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {108--120},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.15},
doi = {10.1109/SWAT.1972.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Mylopoulos72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Rosen72,
author = {Barry K. Rosen},
title = {Program Equivalence and Context-Free Grammars},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {7--18},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.18},
doi = {10.1109/SWAT.1972.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Rosen72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Sahni72,
author = {Sartaj Sahni},
title = {Some Related Problems from Network Flows, Game Theory and Integer
Programming},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {130--138},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.23},
doi = {10.1109/SWAT.1972.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Sahni72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/SalujaR72,
author = {Kewal K. Saluja and
Sudhakar M. Reddy},
title = {Multiple Faults in Reed-Muller Canonic Networks},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {185--191},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.9},
doi = {10.1109/SWAT.1972.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/SalujaR72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ShawT72,
author = {Mary Shaw and
Joseph F. Traub},
title = {On the Number of Multiplications for the Evaluation of a Polynomial
and All Its Derivatives},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {105--107},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.14},
doi = {10.1109/SWAT.1972.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/ShawT72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/TourlakisM72,
author = {George Tourlakis and
John Mylopoulos},
title = {Some Results in Computational Topology},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {40--51},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.22},
doi = {10.1109/SWAT.1972.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/TourlakisM72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Ullman72,
author = {Jeffrey D. Ullman},
title = {A Fast Algorithm for the Elimination of Common Subexpressions},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {161--176},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.1},
doi = {10.1109/SWAT.1972.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Ullman72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS13,
title = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://ieeexplore.ieee.org/xpl/conhome/4569685/proceeding},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FOCS13.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-24 04:12 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:
