default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/iandc/iandc52.bht:"
download as .bib file
@article{DBLP:journals/iandc/AlbertCK82,
author = {J{\"{u}}rgen Albert and
Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {Test Sets for Context Free Languages and Algebraic Systems of Equations
over a Free Monoid},
journal = {Inf. Control.},
volume = {52},
number = {2},
pages = {172--186},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80028-4},
doi = {10.1016/S0019-9958(82)80028-4},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlbertCK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ArbibM82,
author = {Michael A. Arbib and
Ernest G. Manes},
title = {Parametrized Data Types Do Not Need Highly Constrained Parameters},
journal = {Inf. Control.},
volume = {52},
number = {2},
pages = {139--158},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80026-0},
doi = {10.1016/S0019-9958(82)80026-0},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/ArbibM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergstraCT82,
author = {Jan A. Bergstra and
Anna Chmielinska and
Jerzy Tiuryn},
title = {Another Incompleteness Result for Hoare's Logic},
journal = {Inf. Control.},
volume = {52},
number = {2},
pages = {159--171},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80027-2},
doi = {10.1016/S0019-9958(82)80027-2},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BergstraCT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BorodinGH82,
author = {Allan Borodin and
Joachim von zur Gathen and
John E. Hopcroft},
title = {Fast Parallel Matrix and {GCD} Computations},
journal = {Inf. Control.},
volume = {52},
number = {3},
pages = {241--256},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)90766-5},
doi = {10.1016/S0019-9958(82)90766-5},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BorodinGH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ButzerE82a,
author = {P. L. Butzer and
Wolfgang Engels},
title = {Dyadic Calculus and Sampling Theorems for Functions with Multidimensional
Domain. {I:} General Theory},
journal = {Inf. Control.},
volume = {52},
number = {3},
pages = {333--351},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)90806-3},
doi = {10.1016/S0019-9958(82)90806-3},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/ButzerE82a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ButzerE82b,
author = {P. L. Butzer and
Wolfgang Engels},
title = {Dyadic Calculus and Sampling Theorems for Functions with Multidimensional
Domain. {II:} Applications to Dyadic Sampling Representations},
journal = {Inf. Control.},
volume = {52},
number = {3},
pages = {352--363},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)90816-6},
doi = {10.1016/S0019-9958(82)90816-6},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/ButzerE82b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Chen82,
author = {Keh{-}Jiann Chen},
title = {Tradeoffs in the Inductive Inference of Nearly Minimal Size Programs},
journal = {Inf. Control.},
volume = {52},
number = {1},
pages = {68--86},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80086-7},
doi = {10.1016/S0019-9958(82)80086-7},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Chen82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CourcelleF82,
author = {Bruno Courcelle and
Paul Franchi{-}Zannettacci},
title = {On the Equivalence Problem for Attribute Systems},
journal = {Inf. Control.},
volume = {52},
number = {3},
pages = {275--305},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)90786-0},
doi = {10.1016/S0019-9958(82)90786-0},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CourcelleF82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Daley82,
author = {Robert P. Daley},
title = {Busy Beaver Sets: Characterizations and Applications},
journal = {Inf. Control.},
volume = {52},
number = {1},
pages = {52--67},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80085-5},
doi = {10.1016/S0019-9958(82)80085-5},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Daley82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DavisSY82a,
author = {Martin Davis and
Carl Smith and
Paul Young},
title = {Introduction},
journal = {Inf. Control.},
volume = {52},
number = {1},
pages = {1},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80080-6},
doi = {10.1016/S0019-9958(82)80080-6},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DavisSY82a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DolevFFLS82,
author = {Danny Dolev and
Michael J. Fischer and
Robert J. Fowler and
Nancy A. Lynch and
H. Raymond Strong},
title = {An Efficient Algorithm for Byzantine Agreement without Authentication},
journal = {Inf. Control.},
volume = {52},
number = {3},
pages = {257--274},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)90776-8},
doi = {10.1016/S0019-9958(82)90776-8},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DolevFFLS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Hay82,
author = {Louise Hay},
title = {On the Recursion-Theoretic Complexity of Relative Succinctness of
Representations of Languages},
journal = {Inf. Control.},
volume = {52},
number = {1},
pages = {2--7},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80081-8},
doi = {10.1016/S0019-9958(82)80081-8},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Hay82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KleijnR82,
author = {H. C. M. Kleijn and
Grzegorz Rozenberg},
title = {Corrigendum: Sequential, Continuous and Parallel Grammars},
journal = {Inf. Control.},
volume = {52},
number = {3},
pages = {364},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)90826-9},
doi = {10.1016/S0019-9958(82)90826-9},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/KleijnR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Koymans82,
author = {Christiaan Peter Jozef Koymans},
title = {Models of the Lambda Calculus},
journal = {Inf. Control.},
volume = {52},
number = {3},
pages = {306--332},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)90796-3},
doi = {10.1016/S0019-9958(82)90796-3},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Koymans82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MenzelS82,
author = {Wolfgang Menzel and
Volker Sperschneider},
title = {Universal Automata with Uniform Bounds on Simulation Time},
journal = {Inf. Control.},
volume = {52},
number = {1},
pages = {19--35},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80083-1},
doi = {10.1016/S0019-9958(82)80083-1},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MenzelS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Meyer82,
author = {Albert R. Meyer},
title = {What is a Model of the Lambda Calculus?},
journal = {Inf. Control.},
volume = {52},
number = {1},
pages = {87--122},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80087-9},
doi = {10.1016/S0019-9958(82)80087-9},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Meyer82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/OshersonW82,
author = {Daniel N. Osherson and
Scott Weinstein},
title = {Criteria of Language Learning},
journal = {Inf. Control.},
volume = {52},
number = {2},
pages = {123--138},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80025-9},
doi = {10.1016/S0019-9958(82)80025-9},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/OshersonW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Selman82,
author = {Alan L. Selman},
title = {Analogues of Semicursive Sets and Effective Reducibilities to the
Study of {NP} Complexity},
journal = {Inf. Control.},
volume = {52},
number = {1},
pages = {36--51},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80084-3},
doi = {10.1016/S0019-9958(82)80084-3},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Selman82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Soare82,
author = {Robert I. Soare},
title = {Computational Complexity of Recursively Enumerable Sets},
journal = {Inf. Control.},
volume = {52},
number = {1},
pages = {8--18},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80082-X},
doi = {10.1016/S0019-9958(82)80082-X},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Soare82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Tomita82,
author = {Etsuji Tomita},
title = {A Direct Branching Algorithm for Checking Equivalence of Some Classes
of Deterministic Pushdown Automata},
journal = {Inf. Control.},
volume = {52},
number = {2},
pages = {187--238},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)80029-6},
doi = {10.1016/S0019-9958(82)80029-6},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Tomita82.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 2024-11-06 23:12 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:
