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/journals/tcs/tcs131.bht:"
download as .bib file
@article{DBLP:journals/tcs/Aceto94,
author = {Luca Aceto},
title = {{GSOS} and Finite Labelled Transition Systems},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {1},
pages = {181--195},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90094-9},
doi = {10.1016/0304-3975(94)90094-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Aceto94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AndersonM94,
author = {N. Anderson and
D. Manley},
title = {A Matrix Extension of Winograd's Inner Product Algorithm},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {475--477},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90186-4},
doi = {10.1016/0304-3975(94)90186-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AndersonM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Banach94a,
author = {Richard Banach},
title = {Term Graph Rewriting and Garbage Collection Using Ppfibrations},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {1},
pages = {29--94},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90090-6},
doi = {10.1016/0304-3975(94)90090-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Banach94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergeyC94,
author = {A. Bergey and
Robert Cori},
title = {On the Orbits of the Product of two Permutations},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {449--461},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90184-8},
doi = {10.1016/0304-3975(94)90184-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BergeyC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Compton94,
author = {Kevin J. Compton},
title = {Stratified Least Fixpoint Logic},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {1},
pages = {95--120},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90091-4},
doi = {10.1016/0304-3975(94)90091-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Compton94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EadesW94,
author = {Peter Eades and
Sue Whitesides},
title = {Drawing Graphs in Two Layers},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {361--374},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90179-1},
doi = {10.1016/0304-3975(94)90179-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EadesW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Eriksson94,
author = {Kimmo Eriksson},
title = {Reachability is Decidable in the Numbers Game},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {431--439},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90182-1},
doi = {10.1016/0304-3975(94)90182-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Eriksson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Etzion-PetruschkaHM94,
author = {Yael Etzion{-}Petruschka and
David Harel and
Dale Myers},
title = {On the Solvability of Domino Snake Problems},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {243--269},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90174-0},
doi = {10.1016/0304-3975(94)90174-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Etzion-PetruschkaHM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FixFG94,
author = {Limor Fix and
Nissim Francez and
Orna Grumberg},
title = {Program Composition via Unification},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {1},
pages = {139--179},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90093-0},
doi = {10.1016/0304-3975(94)90093-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FixFG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Gardy94,
author = {Dani{\`{e}}le Gardy},
title = {Join Sizes, urn Models and Normal Limiting Distributions},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {375--414},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90180-5},
doi = {10.1016/0304-3975(94)90180-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Gardy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HuynhT94a,
author = {Dung T. Huynh and
Lu Tian},
title = {A Note on the Complexity of Deciding Bisimilarity of Normed Unary
Processes},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {441--448},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90183-X},
doi = {10.1016/0304-3975(94)90183-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HuynhT94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IduryS94,
author = {Ramana M. Idury and
Alejandro A. Sch{\"{a}}ffer},
title = {Dynamic Dictionary Matching with Failure Functions},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {295--310},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90176-7},
doi = {10.1016/0304-3975(94)90176-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IduryS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KobayashiT94,
author = {Satoshi Kobayashi and
Makoto Tatsuta},
title = {Realizability Interpretation of Generalized Inductive Definitions},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {1},
pages = {121--138},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90092-2},
doi = {10.1016/0304-3975(94)90092-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KobayashiT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Leiss94,
author = {Ernst L. Leiss},
title = {Language Equations Over a One-Letter Alphabet with Union, Concatenation
and Star: {A} Complete Solution},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {311--330},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90177-5},
doi = {10.1016/0304-3975(94)90177-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Leiss94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MathieuD94,
author = {Philippe Mathieu and
Jean{-}Paul Delahaye},
title = {A Kind of Logical Compilation for Knowledge Bases},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {1},
pages = {197--218},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90095-7},
doi = {10.1016/0304-3975(94)90095-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MathieuD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MurrayR94,
author = {Neil V. Murray and
Erik Rosenthal},
title = {On the Relative Merits of Path Dissolution and the Method of Analytic
Tableaux},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {1},
pages = {1--28},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90089-2},
doi = {10.1016/0304-3975(94)90089-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MurrayR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Picouleau94,
author = {Christophe Picouleau},
title = {Complexity of the Hamiltonian Cycle in Regular Graph Problem},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {463--473},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90185-6},
doi = {10.1016/0304-3975(94)90185-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Picouleau94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ScholefieldZJ94,
author = {David Scholefield and
Hussein S. M. Zedan and
Jifeng He},
title = {A Specification-Oriented Semantics for the Refinement of Real-Time
Systems},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {1},
pages = {219--241},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90096-5},
doi = {10.1016/0304-3975(94)90096-5},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ScholefieldZJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SiegelmannS94,
author = {Hava T. Siegelmann and
Eduardo D. Sontag},
title = {Analog Computation via Neural Networks},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {331--360},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90178-3},
doi = {10.1016/0304-3975(94)90178-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SiegelmannS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Spencer94,
author = {Joel Spencer},
title = {Randomization, Derandomization and Antirandomization: Three Games},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {415--429},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90181-3},
doi = {10.1016/0304-3975(94)90181-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Spencer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SquierOK94,
author = {Craig C. Squier and
Friedrich Otto and
Yuji Kobayashi},
title = {A Finiteness Condition for Rewriting Systems},
journal = {Theor. Comput. Sci.},
volume = {131},
number = {2},
pages = {271--294},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90175-9},
doi = {10.1016/0304-3975(94)90175-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SquierOK94.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-06-10 03:19 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:
