default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs159.bht:"
download as .bib file
@article{DBLP:journals/tcs/AlonsoS96,
author = {Laurent Alonso and
Ren{\'{e}} Schott},
title = {A Parallel Algorithm for the Generation of a Permutation and Applications},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {1},
pages = {15--28},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00198-0},
doi = {10.1016/0304-3975(95)00198-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlonsoS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Arai96,
author = {Noriko H. Arai},
title = {A Proper Hierarchy of Propositional Sequent Calculi},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {2},
pages = {343--354},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00193-X},
doi = {10.1016/0304-3975(95)00193-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Arai96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AspertiL96,
author = {Andrea Asperti and
Cosimo Laneve},
title = {Interaction Systems {II:} The Practice of Optimal Reductions},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {2},
pages = {191--244},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00062-3},
doi = {10.1016/0304-3975(95)00062-3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AspertiL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarcucciLP96,
author = {Elena Barcucci and
Alberto Del Lungo and
Renzo Pinzani},
title = {"Deco" Polyominoes, Permutations and Random Generation},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {1},
pages = {29--42},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00199-9},
doi = {10.1016/0304-3975(95)00199-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarcucciLP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarcucciLPS96,
author = {Elena Barcucci and
Alberto Del Lungo and
Renzo Pinzani and
Renzo Sprugnoli},
title = {Polyominoes Defined by Their Vertical and Horizontal Projections},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {1},
pages = {129--136},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00205-7},
doi = {10.1016/0304-3975(95)00205-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarcucciLPS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bundgen96,
author = {Reinhard B{\"{u}}ndgen},
title = {Buchberger's Algorithm: The Term Rewriter's Point of View},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {2},
pages = {143--190},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00061-5},
doi = {10.1016/0304-3975(95)00061-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bundgen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Chaboud96,
author = {Thomas Chaboud},
title = {Domino Tiling in Planar Graphs with Regular and Bipartite Dual},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {1},
pages = {137--142},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00206-5},
doi = {10.1016/0304-3975(95)00206-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Chaboud96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Denise96,
author = {Alain Denise},
title = {G{\'{e}}n{\'{e}}ration al{\'{e}}atoire uniforme de
mots de langages rationnels},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {1},
pages = {43--63},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00200-6},
doi = {10.1016/0304-3975(95)00200-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Denise96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ErdogmusJF96,
author = {M. Hakan Erdogmus and
Robert Johnston and
Michael J. Ferguson},
title = {On the Operational Semantics of Nondeterminism and Divergence},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {2},
pages = {271--317},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00166-2},
doi = {10.1016/0304-3975(95)00166-2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ErdogmusJF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Fournier96,
author = {Jean{-}Claude Fournier},
title = {Pavage des figures planes sans trous par des dominos: Fondement graphique
de l'algorithme de Thurston, parall{\'{e}}lisation, unicit{\'{e}}
et d{\'{e}}composition},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {1},
pages = {105--128},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00204-9},
doi = {10.1016/0304-3975(95)00204-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Fournier96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GritznerB96,
author = {Thomas F. Gritzner and
Rudolf Berghammer},
title = {A Relation Algebraic Model of Robust Correctness},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {2},
pages = {245--270},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(96)88664-6},
doi = {10.1016/0304-3975(96)88664-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GritznerB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Louchard96,
author = {Guy Louchard},
title = {Probabilistic Analysis of Some (Un)Directed Animals},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {1},
pages = {65--79},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00201-4},
doi = {10.1016/0304-3975(95)00201-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Louchard96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Mosbah96,
author = {Mohamed Mosbah},
title = {Probabilistic Hyperedge Replacement Grammars},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {1},
pages = {81--102},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00202-2},
doi = {10.1016/0304-3975(95)00202-2},
timestamp = {Tue, 11 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Mosbah96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SambinVV96,
author = {Giovanni Sambin and
Silvio Valentini and
Paolo Virgili},
title = {Constructive Domain Theory as a Branch of Intuitionistic Pointfree
Topology},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {2},
pages = {319--341},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00169-7},
doi = {10.1016/0304-3975(95)00169-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SambinVV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wilf96,
author = {Herbert S. Wilf},
title = {R{\'{e}}cents d{\'{e}}veloppements et probl{\`{e}}mes dans
le domaine de la g{\'{e}}n{\'{e}}ration al{\'{e}}atoire},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {1},
pages = {5--13},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00197-2},
doi = {10.1016/0304-3975(95)00197-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wilf96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ying96,
author = {Mingsheng Ying},
title = {When is the Ideal Completion of Abstract Basis Algebraic},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {2},
pages = {355--356},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00183-2},
doi = {10.1016/0304-3975(95)00183-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ying96.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 2025-02-27 12:04 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:
