default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs135.bht:"
download as .bib file
@article{DBLP:journals/tcs/Abramsky94,
author = {Samson Abramsky},
title = {Proofs as Processes},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {1},
pages = {5--9},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00103-0},
doi = {10.1016/0304-3975(94)00103-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Abramsky94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaierM94,
author = {Christel Baier and
Mila E. Majster{-}Cederbaum},
title = {Denotational Semantics in the {CPO} and Metric Approach},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {2},
pages = {171--220},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00046-8},
doi = {10.1016/0304-3975(94)00046-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaierM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BellinS94,
author = {Gianluigi Bellin and
Philip J. Scott},
title = {On the pi-Calculus and Linear Logic},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {1},
pages = {11--65},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00104-9},
doi = {10.1016/0304-3975(94)00104-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BellinS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrachoD94,
author = {Felipe Bracho and
Manfred Droste},
title = {Labelled Domains and Automata with Concurrency},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {2},
pages = {289--318},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00030-1},
doi = {10.1016/0304-3975(94)00030-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrachoD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/David94,
author = {Ren{\'{e}} David},
title = {The Inf Function in the System {F}},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {2},
pages = {423--431},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(93)00088-M},
doi = {10.1016/0304-3975(93)00088-M},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/David94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrigG94,
author = {Hartmut Ehrig and
Martin Gro{\ss}e{-}Rhode},
title = {Functorial Theory of Parameterized Specifications in a General Specification
Framework},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {2},
pages = {221--266},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90110-4},
doi = {10.1016/0304-3975(94)90110-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrigG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GalmicheP94,
author = {Didier Galmiche and
Guy Perrier},
title = {On Proof Normalization in Linear Logic},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {1},
pages = {67--110},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00105-7},
doi = {10.1016/0304-3975(94)00105-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GalmicheP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hiraishi94,
author = {Kunihiko Hiraishi},
title = {Some Complexity Results on Transition Systems and Elementary Net Systems},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {2},
pages = {361--376},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90112-0},
doi = {10.1016/0304-3975(94)90112-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hiraishi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LastovetskyG94,
author = {Alexey L. Lastovetsky and
Sergey S. Gaissaryan},
title = {An Algebraic Approach to Semantics of Programming Languages},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {2},
pages = {267--288},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00022-0},
doi = {10.1016/0304-3975(94)00022-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LastovetskyG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiSY94,
author = {Jianan Li and
Ichiro Suzuki and
Masafumi Yamashita},
title = {Fair Petri Nets and Structural Induction for Rings of Processes},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {2},
pages = {377--404},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90113-9},
doi = {10.1016/0304-3975(94)90113-9},
timestamp = {Thu, 29 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LiSY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LincolnS94,
author = {Patrick Lincoln and
Andre Scedrov},
title = {First-Order Linear Logic without Modalities is NEXPTIME-Hard},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {1},
pages = {139--153},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00107-3},
doi = {10.1016/0304-3975(94)00107-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LincolnS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LincolnW94,
author = {Patrick Lincoln and
Timothy C. Winkler},
title = {Constant-Only Multiplicative Linear Logic is NP-Complete},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {1},
pages = {155--169},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00108-1},
doi = {10.1016/0304-3975(94)00108-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LincolnW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ManouryS94,
author = {Pascal Manoury and
Marianne Simonot},
title = {Automatizing Termination Proofs of Recursively Defined Functions},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {2},
pages = {319--343},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00021-2},
doi = {10.1016/0304-3975(94)00021-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ManouryS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MascariP94,
author = {Gianfranco Mascari and
Marco Pedicini},
title = {Head Linear Reduction and Pure Proof Net Extraction},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {1},
pages = {111--137},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90263-1},
doi = {10.1016/0304-3975(94)90263-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MascariP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Scott94,
author = {Elizabeth A. Scott},
title = {Weights for Total Division Orderings on Strings},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {2},
pages = {345--359},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90111-2},
doi = {10.1016/0304-3975(94)90111-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Scott94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TriggHB94,
author = {P. Trigg and
J. Roger Hindley and
Martin W. Bunder},
title = {Combinatory Abstraction Bsing B, B' and Friends},
journal = {Theor. Comput. Sci.},
volume = {135},
number = {2},
pages = {405--422},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90114-7},
doi = {10.1016/0304-3975(94)90114-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TriggHB94.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-12 16:36 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:
