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/mscs/mscs18.bht:"
download as .bib file
@article{DBLP:journals/mscs/Abel08,
author = {Andreas Abel},
title = {Polarised subtyping for sized types},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {5},
pages = {797--822},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006853},
doi = {10.1017/S0960129508006853},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Abel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoCFI08,
author = {Luca Aceto and
Taolue Chen and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {On the axiomatisability of priority},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {5--28},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006524},
doi = {10.1017/S0960129507006524},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoCFI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaetenB08,
author = {Jos C. M. Baeten and
Mario Bravetti},
title = {A ground-complete axiomatisation of finite-state processes in a generic
process algebra},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {6},
pages = {1057--1089},
year = {2008},
url = {https://doi.org/10.1017/S0960129508007111},
doi = {10.1017/S0960129508007111},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaetenB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BakelL08,
author = {Steffen van Bakel and
Pierre Lescanne},
title = {Computation with classical sequents},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {3},
pages = {555--609},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006762},
doi = {10.1017/S0960129508006762},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BakelL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BergstraM08,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Maurer computers for pipelined instruction processing},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {2},
pages = {373--409},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006548},
doi = {10.1017/S0960129507006548},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BergstraM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BernardoB08,
author = {Marco Bernardo and
Stefania Botta},
title = {A survey of modal logics characterising behavioural equivalences for
non-deterministic and stochastic systems},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {29--55},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006408},
doi = {10.1017/S0960129507006408},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BernardoB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BidoitST08,
author = {Michel Bidoit and
Donald Sannella and
Andrzej Tarlecki},
title = {Observational interpretation of Casl specifications},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {2},
pages = {325--371},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006536},
doi = {10.1017/S0960129507006536},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BidoitST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Blanck08,
author = {Jens Blanck},
title = {Reducibility of domain representations and Cantor-Weihrauch domain
representations},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {6},
pages = {1031--1056},
year = {2008},
url = {https://doi.org/10.1017/S0960129508007093},
doi = {10.1017/S0960129508007093},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Blanck08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BucciarelliS08,
author = {Antonio Bucciarelli and
Antonino Salibra},
title = {Graph lambda theories},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {5},
pages = {975--1004},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006683},
doi = {10.1017/S0960129508006683},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BucciarelliS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CagliariM08,
author = {Francesca Cagliari and
Sandra Mantovani},
title = {Exponentiable morphisms of domains},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {5},
pages = {1005--1016},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006786},
doi = {10.1017/S0960129508006786},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CagliariM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CapotortiF08,
author = {Andrea Capotorti and
Andrea Formisano},
title = {Comparative uncertainty: theory and automation},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {57--79},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006561},
doi = {10.1017/S0960129507006561},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CapotortiF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Chemouil08,
author = {David Chemouil},
title = {An insertion operator preserving infinite reduction sequences},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {4},
pages = {693--728},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006816},
doi = {10.1017/S0960129508006816},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Chemouil08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CiabattoniL08,
author = {Agata Ciabattoni and
Alexander Leitsch},
title = {Towards an algorithmic construction of cut-elimination procedures},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {81--105},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006573},
doi = {10.1017/S0960129507006573},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/CiabattoniL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CirsteaF08,
author = {Horatiu Cirstea and
Maribel Fern{\'{a}}ndez},
title = {Rewriting calculi, higher-order reductions and patterns: introduction},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {3},
pages = {427--429},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006737},
doi = {10.1017/S0960129508006737},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CirsteaF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CollinsonPR08,
author = {Matthew Collinson and
David J. Pym and
Edmund Robinson},
title = {Bunched polymorphism},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {6},
pages = {1091--1132},
year = {2008},
url = {https://doi.org/10.1017/S0960129508007159},
doi = {10.1017/S0960129508007159},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CollinsonPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CompagnoniG08,
author = {Adriana B. Compagnoni and
Healfdene Goguen},
title = {Theory and applications of subtyping: Introduction},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {5},
pages = {795--796},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006841},
doi = {10.1017/S0960129508006841},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CompagnoniG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CoppoDG08,
author = {Mario Coppo and
Mariangiola Dezani{-}Ciancaglini and
Elio Giovannetti},
title = {Types for ambient and process mobility},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {2},
pages = {221--290},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006658},
doi = {10.1017/S0960129508006658},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CoppoDG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CorradiniT08,
author = {Flavio Corradini and
Carlo Toffalori},
title = {Preface to Special Issue devoted to the memory of Sauro Tulipani},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {1--4},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006512},
doi = {10.1017/S0960129507006512},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CorradiniT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DehornoyO08,
author = {Patrick Dehornoy and
Vincent van Oostrom},
title = {Using groups for investigating rewrite systems},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {6},
pages = {1133--1167},
year = {2008},
url = {https://doi.org/10.1017/S0960129508007160},
doi = {10.1017/S0960129508007160},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DehornoyO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FahndrichR08,
author = {Manuel F{\"{a}}hndrich and
Jakob Rehof},
title = {Type-based flow analysis and context-free language reachability},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {5},
pages = {823--894},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006968},
doi = {10.1017/S0960129508006968},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FahndrichR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FriedelNW08,
author = {Maik Friedel and
Swetlana Nikolajewa and
Thomas Wilhelm},
title = {The Decomposition Tree for analyses of Boolean functions},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {2},
pages = {411--426},
year = {2008},
url = {https://doi.org/10.1017/S096012950800666X},
doi = {10.1017/S096012950800666X},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/FriedelNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GaoC08,
author = {Ying Gao and
Jingde Cheng},
title = {Semantics for a basic relevant logic with intensional conjunction
and disjunction (and some of its extensions)},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {145--164},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006592},
doi = {10.1017/S0960129508006592},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GaoC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Gay08,
author = {Simon J. Gay},
title = {Bounded polymorphism in session types},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {5},
pages = {895--930},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006944},
doi = {10.1017/S0960129508006944},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Gay08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GeraceG08,
author = {Ivan Gerace and
Federico Greco},
title = {The Travelling Salesman Problem in symmetric circulant matrices with
two stripes},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {165--175},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006609},
doi = {10.1017/S0960129508006609},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GeraceG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault-LarrecqLN08,
author = {Jean Goubault{-}Larrecq and
Slawomir Lasota and
David Nowak},
title = {Logical relations for monadic types},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {6},
pages = {1169--1217},
year = {2008},
url = {https://doi.org/10.1017/S0960129508007172},
doi = {10.1017/S0960129508007172},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault-LarrecqLN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HildebrandMS08,
author = {Roland Hildebrand and
Stefano Mancini and
Simone Severini},
title = {Combinatorial laplacians and positivity under partial transpose},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {205--219},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006634},
doi = {10.1017/S0960129508006634},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HildebrandMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Kostrzycka08,
author = {Zofia Kostrzycka},
title = {On asymptotic divergency in equivalential logics},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {2},
pages = {311--324},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006391},
doi = {10.1017/S0960129507006391},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Kostrzycka08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Lataillade08,
author = {Joachim De Lataillade},
title = {Curry-style type isomorphisms and game semantics},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {4},
pages = {647--692},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006828},
doi = {10.1017/S0960129508006828},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Lataillade08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Lenzi08,
author = {Giacomo Lenzi},
title = {A positive set theory with equality revisited},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {177--188},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006610},
doi = {10.1017/S0960129508006610},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Lenzi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LiquoriS08,
author = {Luigi Liquori and
Bernard P. Serpette},
title = {iRho: an imperative rewriting calculus},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {3},
pages = {467--500},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006750},
doi = {10.1017/S0960129508006750},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LiquoriS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Luo08,
author = {Zhaohui Luo},
title = {Coercions in a polymorphic type system},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {4},
pages = {729--751},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006804},
doi = {10.1017/S0960129508006804},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Luo08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LuoA08,
author = {Zhaohui Luo and
Robin Adams},
title = {Structural subtyping for inductive types with functorial equality
rules},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {5},
pages = {931--972},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006956},
doi = {10.1017/S0960129508006956},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LuoA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Macintyre08,
author = {Angus Macintyre},
title = {Model theory of exponentials on Lie algebras},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {189--204},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006622},
doi = {10.1017/S0960129508006622},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Macintyre08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ManesM08,
author = {Ernie Manes and
Philip S. Mulry},
title = {Monad compositions {II:} Kleisli strength},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {3},
pages = {613--643},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006695},
doi = {10.1017/S0960129508006695},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ManesM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MatthesS08,
author = {Ralph Matthes and
Sergei Soloviev},
title = {Preface to the special issue: isomorphisms of types and invertibility
of lambda terms},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {4},
pages = {645--646},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006798},
doi = {10.1017/S0960129508006798},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MatthesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/NicolaL08,
author = {Rocco De Nicola and
Michele Loreti},
title = {Multiple-Labelled Transition Systems for nominal calculi and their
logics},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {1},
pages = {107--143},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006585},
doi = {10.1017/S0960129507006585},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/NicolaL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Rojas08,
author = {Cristobal Rojas},
title = {Computability and information in models of randomness and chaos},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {2},
pages = {291--307},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006646},
doi = {10.1017/S0960129508006646},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Rojas08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SabelS08,
author = {David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {A call-by-need lambda calculus with locally bottom-avoiding choice:
context lemma and correctness of transformations},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {3},
pages = {501--553},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006774},
doi = {10.1017/S0960129508006774},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SabelS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Schubert08,
author = {Aleksy Schubert},
title = {On the building of affine retractions},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {4},
pages = {753--793},
year = {2008},
url = {https://doi.org/10.1017/S096012950800683X},
doi = {10.1017/S096012950800683X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Schubert08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Valdeon08,
author = {Jos{\'{e}} Miguel Ca{\~{n}}ete Valde{\'{o}}n},
title = {On the interpretation of mathematical entities in the formalisation
of programming and modelling languages},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {6},
pages = {1017--1030},
year = {2008},
url = {https://doi.org/10.1017/S096012950800697X},
doi = {10.1017/S096012950800697X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Valdeon08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/WackH08,
author = {Benjamin Wack and
Cl{\'{e}}ment Houtmann},
title = {Strong normalisation in two Pure Pattern Type Systems},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {3},
pages = {431--465},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006749},
doi = {10.1017/S0960129508006749},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/WackH08.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-04-23 19:27 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:
