default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs364.bht:"
download as .bib file
@article{DBLP:journals/tcs/BellinHRU06,
author = {Gianluigi Bellin and
Martin Hyland and
Edmund Robinson and
Christian Urban},
title = {Categorical proof theory of classical propositional calculus},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {2},
pages = {146--165},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.002},
doi = {10.1016/J.TCS.2006.08.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BellinHRU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BessonJP06,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen and
David Pichardie},
title = {Proof-carrying code from certified abstract interpretation and fixpoint
compression},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {3},
pages = {273--291},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.012},
doi = {10.1016/J.TCS.2006.08.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BessonJP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CansellM06,
author = {Dominique Cansell and
Dominique M{\'{e}}ry},
title = {Formal and incremental construction of distributed algorithms: On
the distributed reference counting algorithm},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {3},
pages = {318--337},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.015},
doi = {10.1016/J.TCS.2006.08.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CansellM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaseJRSZ06,
author = {John Case and
Sanjay Jain and
R{\"{u}}diger Reischuk and
Frank Stephan and
Thomas Zeugmann},
title = {Learning a subclass of regular patterns in polynomial time},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {115--131},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.044},
doi = {10.1016/J.TCS.2006.07.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CaseJRSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrhardR06,
author = {Thomas Ehrhard and
Laurent Regnier},
title = {Differential interaction nets},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {2},
pages = {166--195},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.003},
doi = {10.1016/J.TCS.2006.08.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrhardR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Finkel06,
author = {Olivier Finkel},
title = {On decidability properties of local sentences},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {2},
pages = {196--211},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.004},
doi = {10.1016/J.TCS.2006.08.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Finkel06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GavaldaT06,
author = {Ricard Gavald{\`{a}} and
Eiji Takimoto},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {1--2},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.036},
doi = {10.1016/J.TCS.2006.07.036},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GavaldaT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HartmannL06a,
author = {Sven Hartmann and
Sebastian Link},
title = {Deciding implication for functional dependencies in complex-value
databases},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {2},
pages = {212--240},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.005},
doi = {10.1016/J.TCS.2006.08.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HartmannL06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HofmannL06,
author = {Martin Hofmann and
Hans{-}Wolfgang Loidl},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {3},
pages = {271--272},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.011},
doi = {10.1016/J.TCS.2006.08.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HofmannL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hutter06,
author = {Marcus Hutter},
title = {On generalized computable universal priors and their convergence},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {27--41},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.039},
doi = {10.1016/J.TCS.2006.07.039},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hutter06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KaminskiR06,
author = {Michael Kaminski and
Julia Rubin{-}Mosin},
title = {Default theories over monadic languages},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {2},
pages = {241--253},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.007},
doi = {10.1016/J.TCS.2006.08.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KaminskiR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kennedy06,
author = {Andrew Kennedy},
title = {Securing the .NET programming model},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {3},
pages = {311--317},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.014},
doi = {10.1016/J.TCS.2006.08.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kennedy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kitagawa06,
author = {Genshiro Kitagawa},
title = {Signal extraction and knowledge discovery based on statistical modeling},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {132--142},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.045},
doi = {10.1016/J.TCS.2006.07.045},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kitagawa06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LaudUV06,
author = {Peeter Laud and
Tarmo Uustalu and
Varmo Vene},
title = {Type systems equivalent to data-flow analyses for imperative languages},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {3},
pages = {292--310},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.013},
doi = {10.1016/J.TCS.2006.08.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LaudUV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MartinSS06a,
author = {Eric Martin and
Arun Sharma and
Frank Stephan},
title = {On ordinal VC-dimension and some notions of complexity},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {62--76},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.041},
doi = {10.1016/J.TCS.2006.07.041},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MartinSS06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NiehrenSS06,
author = {Joachim Niehren and
Jan Schwinghammer and
Gert Smolka},
title = {A concurrent lambda calculus with futures},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {3},
pages = {338--356},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.016},
doi = {10.1016/J.TCS.2006.08.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NiehrenSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NouretdinovV06,
author = {Ilia Nouretdinov and
Vladimir Vovk},
title = {Criterion of calibration for transductive confidence machine with
limited feedback},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {3--9},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.037},
doi = {10.1016/J.TCS.2006.07.037},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NouretdinovV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Power06,
author = {John Power},
title = {Generic models for computational effects},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {2},
pages = {254--269},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.006},
doi = {10.1016/J.TCS.2006.08.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Power06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/QueirozC06,
author = {Ruy J. G. B. de Queiroz and
Patrick C{\'{e}}gielski},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {2},
pages = {143--145},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.001},
doi = {10.1016/J.TCS.2006.08.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/QueirozC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/UemuraS06,
author = {Jin Uemura and
Masako Sato},
title = {Learning of erasing primitive formal systems from positive examples},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {98--114},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.043},
doi = {10.1016/J.TCS.2006.07.043},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/UemuraS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Vovk06,
author = {Vladimir Vovk},
title = {Well-calibrated predictions from on-line compression models},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {10--26},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.038},
doi = {10.1016/J.TCS.2006.07.038},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Vovk06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zeugmann06,
author = {Thomas Zeugmann},
title = {From learning in the limit to stochastic finite learning},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {77--97},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.042},
doi = {10.1016/J.TCS.2006.07.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zeugmann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zilles06,
author = {Sandra Zilles},
title = {An approach to intrinsic complexity of uniform learning},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {1},
pages = {42--61},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.040},
doi = {10.1016/J.TCS.2006.07.040},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zilles06.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-25 18:47 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:
