@ARTICLE{HOS06,
journal = {Archive for Mathematical Logic},
volume = {45},
title = {Well-foundedness in realizability},
author = {Hofmann, Martin and van Oosten, Jaap and Streicher, Thomas},
year = {2006},
pages = {795-805 },
number = {7}
}
@ARTICLE{ABSS07,
journal = {Bulletin of Symbolic Logic},
volume = {13},
title = {Relating first-order set theories and elementary toposes},
author = {Awodey, Steve and Butz, Carsten and Simpson, Alex
and Streicher Thomas},
year = {2007},
pages = {340-358},
number = {3}
}
@ARTICLE{OS07,
journal = {Fundamenta Mathematicae},
volume = {},
title = {On Krivine's realizability interpretation
of classical second-order arithmetic},
author = {Oliva, Paulo and Streicher Thomas},
year = {2008},
pages = {(to appear)},
number = {}
}
@INPROCEEDINGS{LS:06,
volume = 4207,
title = {Universality Results for Models in Locally Boolean Domains},
year = 2006,
booktitle = {Proceedings of CSL 2006},
pages = {456--470,},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
author = {L\"ow, T. and Streicher, T.}
}
@ARTICLE{GrSt:06,
journal = {MSCS},
volume = {16},
title = {Quotients of countably based spaces are not
closed under sobrification.},
author = {Gruenhage, G. and Streicher, T.},
year = {2006},
pages = {223-229},
number = {2}
}
@INCOLLECTION{St:05b,
publisher = {Oxford University Press},
title = {Universes in Toposes},
author = {T. Streicher},
year = 2005,
pages = {78-90},
booktitle = {From sets and types to topology and analysis},
editor = {Crosilla, L. and Schuster, P.}
}
@INPROCEEDINGS{RS:06,
volume = 3580,
title = {About Hoare logics for higher-order store},
year = 2005,
booktitle = {Proceedings of ICALP 2005},
pages = {1337--1348,},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
author = {Reus, B. and Streicher, T.}
}
@ARTICLE{BeSt:03,
author = {J. B\'enabou and T. Streicher},
title = {Partial Toposes},
journal = {Theory Appl.~Categ.},
volume = {11},
year = {2003},
pages = {309-320}
}
@ARTICLE{EHS:04,
author = {M. Escard\'o and M. Hofmann and T. Streicher},
title = {On the non-sequential nature of the interval-domain model
of real-number computation},
journal = {Math.~Struct.~Comp.~Sc.},
volume = {14},
number = {6},
year = {2004},
pages = {803-814}
}
@ARTICLE{BFJS:04,
author = {M. Bunge and J. Funk and M. Jibladze and T. Streicher},
title = {Definable Completeness},
journal = {Cah.~Topol.~G\'eom.~Diff\'er.~Cat\'eg.},
volume = {45},
number = {4},
year = {2004},
pages = {243-266}
}
@ARTICLE{ReSt:04,
author = {B. Reus and T. Streicher},
title = {Semantics and logic of object calculi},
journal = {Theoret.~Comp.~Sc.},
volume = {316},
number = {1-3},
year = {2004},
pages = {191-213}
}
@ARTICLE{BFJS:02,
author = {M. Bunge and J. Funk and M. Jibladze and T. Streicher},
title = {The Michael completion of a topos spread},
journal = {J.~Pure Appl.~Algebra},
volume = {175},
number = {1-3},
year = {2002},
pages = {63-91}
}
@ARTICLE{BFJS:00,
author = {M. Bunge and J. Funk and M. Jibladze and T. Streicher},
title = {Distribution algebras and duality},
journal = {Adv.~Math.},
volume = {156},
number = {1},
year = {2000},
pages = {133-155}
}
@ARTICLE{EsSt:02,
author = {M. Escard\'o and T. Streicher},
title = {In domain realizability,
not all functionals on $C[-1,1]$ are continuous.},
journal = {Math.~Log.Qu.},
volume = {48},
number = {suppl.1},
year = {2002},
pages = {41-44}
}
@ARTICLE{MaSt:02,
author = {M. Hofmann and T. Streicher},
title = {Completeness of continuation models for $\lambda\mu$-calculus},
journal = {Inform.~and Comp.},
volume = {179},
number = {2},
year = {2002},
pages = {332-355}
}
@ARTICLE{LiSt:04,
author = {P. Lietz and T. Streicher},
title = {Impredicativity entails untypedness},
journal = {Math.~Struct.~Comp.~Sc.},
volume = {12},
number = {3},
year = {2002},
pages = {335-347}
}
@INPROCEEDINGS{MRS:99,
author = {M. Marz and A. Rohr and T. Streicher},
title = {Full abstraction and universality via realisability},
booktitle = {Proceedings of {LICS}'99},
publisher = {IEEE Computer Soc},
year = {1999},
pages = {174-182}
}
@ARTICLE{Str:99a,
author = {T. Streicher},
title = {Denotational completness revisited},
journal = {Electron.~Notes Theor.~Comp.~Sc.},
volume = {29},
year = {1999},
pages = {288-300}
}
@ARTICLE{Str:99b,
author = {T. Streicher},
title = {Inductive construction of repletion},
journal = {Appl.~Categ.~Struct.},
volume = {7},
number = {1-2},
year = {1999},
pages = {185-207}
}
@ARTICLE{ReSt:99,
author = {B. Reus and T. Streicher},
title = {General synthetic domain theory---a logical approach.},
journal = {Math.~Structures Comput.~Sci.},
volume = {210},
number = {1},
year = {1999},
pages = {121-157}
}
@ARTICLE{EsSt:99,
author = {M. Escard\'o and T. Streicher},
title = {Induction and recursion on the partial real line
with applications to Real PCF.},
journal = {Theoret.~Comp.~Sci.},
volume = {9},
number = {2},
year = {1999},
pages = {177-223}
}
@ARTICLE{ReSt:98,
author = {B. Reus and T. Streicher},
title = {Classical logic, continuation semantics and abstract machines},
journal = {J.~Funct.~Prog.},
volume = {8},
number = {6},
year = {1998},
pages = {543-572}
}
@INCOLLECTION{HoSt:98,
author = {M. Hofmann and T. Streicher},
title = {The groupoid interpretation of type theory},
booktitle = {Twenty-five years of constructive type theory},
publisher = {Oxford University Press},
series = {Oxford Logic Guides},
volume = 36,
pages = {83-111},
year = 1998
}
@INPROCEEDINGS{ReSt:97,
author = {B. Reus and T. Streicher},
title = {General synthetic domain theory---a logical approach
(extended abstract)},
booktitle = {Proceedings of {CTCS}'96},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1290},
year = {1997},
pages = {293-313}
}
@INPROCEEDINGS{AHS:96,
author = {T. Altenkirch and M. Hofmann and T. Streicher},
title = {Reduction-free normalisation for a polymorphic system},
booktitle = {Proceedings of {LICS}'96},
publisher = {IEEE Computer Soc},
year = {1996},
pages = {98-106}
}
@INPROCEEDINGS{AHS:95,
author = {T. Altenkirch and M. Hofmann and T. Streicher},
title = {Categorical reconstruction of a reduction free
normalization proof.},
booktitle = {Proceedings of {CTCS}'95},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {953},
year = {1995},
pages = {182-199}
}
@INPROCEEDINGS{MSL:94,
author = {A. M\"uck and T. Streicher and H. Lock},
title = {A tiny constraint functional logic language
and its continuation semantics.},
booktitle = {Proceedings of {ESOP}'94},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {788},
year = {1994},
pages = {439-453}
}
@ARTICLE{Str:94,
author = {T. Streicher},
title = {A universality theorem for PCF with recursive types,
parallel-or and $\exists$. },
volume = {4},
number = {1},
year = {1994},
pages = {111-115}
}
@ARTICLE{Str:92b,
author = {T. Streicher},
title = {Independence of the induction principle and the axiom of choice
in the pure calculus of constructions.},
journal = {Theoret.~Comput.~Sc.},
volume = {103},
number = {2},
year = {1992},
pages = {395-408}
}
@ARTICLE{Str:92a,
author = {T. Streicher},
title = {Dependence and independence results for (impredicative)
calculi of dependent types.},
journal = {Math.~Struct.~Comput.~Sc.},
volume = {2},
number = {1},
year = {1992},
pages = {29-54}
}
@INPROCEEDINGS{BrSt:92,
author = {M. Broy and T. Streicher},
title = {Modular functional modelling of Petri nets
with individual tokens. },
booktitle = {Advances in Petri Nets 1992},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {609},
year = {1992},
pages = {70-88}
}
@BOOK{Str:91,
author = {T.~Streicher},
title = {Semantics of Type Theory},
publisher = {Birkhaeuser Boston, Inc.},
series = {Progress in Theoretical Computer Science},
pages = {xii+298pp.},
year = 1991
}
@BOOK{Str:06,
author = {T.~Streicher},
title = {Domain-theoretic Foundations of Functional Programming},
publisher = {World Scientific},
pages = {x + 120pp.},
year = 2006
}
@INPROCEEDINGS{JMS:91,
author = {B. Jacobs and E. Moggi and T. Streicher},
title = {Relating models of impredicative type theories.},
booktitle = {Proceedings of {CTCS}'91},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {530},
year = {1991},
pages = {197-218}
}
@ARTICLE{BrSt:91,
author = {M. Broy and T. Streicher},
title = {Specification and design of shared resource arbitration.},
journal = {Int.~J.~Parallel Program.},
volume = {20},
number = {1},
year = {1991},
pages = {1-22}
}
@INPROCEEDINGS{Str:89,
author = {T. Streicher},
title = {Independence results for calculi of dependent types.},
booktitle = {Proceedings of {CTCS}'89},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {389},
year = {1989},
pages = {141-154}
}
@INPROCEEDINGS{BrSt:87,
author = {M. Broy and T. Streicher},
title = {Views of distributed systems.},
booktitle = {Mathematical models for the semantics of parallelism},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {280},
year = {1987},
pages = {114-143}
}
@TECHREPORT{OttoNote:04b,
author = {Otto, Martin},
title = {Elementary proof of the
{van Benthem-Rosen} characterisation theorem},
institution = {Department of Mathematics,
Darmstadt University of Technology},
number = {2342},
year = {2004}
}
@ARTICLE{Otto:04a,
author = {Otto, Martin},
title = {Modal and guarded characterisation theorems over finite
transition systems},
journal = {Annals of Pure and Applied Logic},
volume = {130},
year = {2004},
pages = {173-205}
}
@ARTICLE{HoOt:01,
author = {Hodkinson, Ian and Otto, Martin},
title = {Finite conformal hypergraph covers and
{G}aifman cliques in finite structures},
journal = {The Bulletin of Symbolic Logic},
volume = {9},
year = {2003},
pages = {387--405}
}
@INPROCEEDINGS{KOS:07,
author = {Kreutzer, Stephan and Otto, Martin and Schweikardt, Nicole},
title = {Boundedness of monadic {FO} over acyclic structures},
booktitle = {Proceedings of {ICALP}'2007},
publisher = {Springer-Verlag},
series = {{LNCS}},
year = {2007},
volume = {4596},
pages = {571-582},
editor = {Arge and others}
}
@INPROCEEDINGS{HMO:99,
author = {Hoogland, Eva and Marx, Marten and Otto, Martin},
title = {{B}eth definability for the guarded fragment},
booktitle = {Proceedings of {LPAR}'99},
publisher = {Springer-Verlag},
series = {{LNAI}},
volume = {1705},
year = {1999},
pages = {273-285},
note = {See also in:
JFAK. Essays Dedicated to Johan van Benthem
on the Occasion of his 50th Birthday, J.
Gebrandy, M. Marx, M. de Rijke and Y. Venema (ed.),
CD-ROM, Amsterdam University Press 1999. }
}
@ARTICLE{GHO:02,
author = {Gr\"adel, Erich and Hirsch, Colin and Otto, Martin},
title = {Back and forth between guarded and modal logics},
journal = {ACM Transactions on Computational Logic},
volume = {3},
year = {2002},
pages = {418-463}
}
@INPROCEEDINGS{GHO:00,
author = {Gr\"adel, Erich and Hirsch, Colin and Otto, Martin},
title = {Back and forth between guarded and modal logics},
booktitle = {Proceedings of 15th {IEEE} Symposium on Logic in Computer Science
{LICS}'00},
year = {2000},
pages = {217-228}
}
@ARTICLE{Otto:00b,
author = {Otto, Martin},
title = {An interpolation theorem},
journal = {Bulletin of Symbolic Logic},
volume = {6},
year = {2000},
pages = {447-462}
}
@ARTICLE{Otto:00a,
author = {Otto, Martin},
title = {Epsilon-logic is more expressive than first-order logic
over finite structures},
journal = {Journal of Symbolic Logic},
volume = {65},
year = {2000},
pages = {1749-1757}
}
@ARTICLE{Otto:01,
author = {Otto, Martin},
title = {Two-variable first-order logic over ordered domains},
journal = {Journal of Symbolic Logic},
volume = 66,
year = 2001,
pages = {685-702}
}
@ARTICLE{Otto:99a,
author = {Otto, Martin},
title = {Bisimulation-invariant {P}time and higher-dimensional
mu-calculus},
journal = {Theoretical Computer Science},
volume = {224},
year = {1999},
pages = {237-265}
}
@INPROCEEDINGS{Otto:99b,
author = {Otto, Martin},
title = {Eliminating recursion in the mu-calculus},
booktitle = {Proceedings of {STACS}'99},
publisher = {Springer-Verlag},
series = {{LNCS}},
volume = {1563},
editor = {C. Meinel and S. Tison},
year = {1999},
pages = {531-540}
}
@ARTICLE{GrOt:99,
author = {Gr{\"a}del, Erich and Otto, Martin},
title = {On logics with two variables},
journal = {Theoretical Computer Science},
volume = {224},
year = {1999},
pages = {73--113}
}
@ARTICLE{GrOtRo:99,
author = {Gr{\"a}del, Erich and Otto, Martin and Rosen, Eric},
title = {Undecidability results for two-variable logics},
journal = {Archive for Mathematical Logic},
volume = {38},
year = {1999},
pages = {313--354}
}
@ARTICLE{Otto:99c,
author = {Otto, Martin},
title = {Bounded-variable logics: two, three, and more},
journal = {Archive for Mathematical Logic},
volume = {38},
year = {1999},
pages = {235-256}
}
@ARTICLE{Otto92,
author = {Otto, Martin},
title = {Automorphism properties of stationary logic},
journal = {Journal of Symbolic Logic},
volume = {57},
year = {1992},
pages = {231-237}
}
@ARTICLE{Otto92b,
author = {Otto, Martin},
title = {{EM} functors for a class of generalized quantifiers},
journal = {Archive for Mathematical Logic},
volume = {31},
year = {1992},
pages = {355-371}
}
@ARTICLE{Otto95c,
author = {Otto, Martin},
title = {Note on the number of monadic quantifiers in monadic
$\Sigma^1_1$},
journal = {Information Processing Letters},
volume = {53},
year = {1995},
pages = {337-339}
}
@ARTICLE{Otto97a,
author = {Otto, Martin},
title = {Canonization for two variables and puzzles
on the square},
journal = {Annals of Pure and Applied Logic},
volume = {85},
year = {1997},
pages = {243-282}
}
@ARTICLE{Otto97b,
author = {Otto, Martin},
title = {{The logic of explicitly representation-invariant circuits}},
booktitle = {Selected Papers of CSL `96},
editor = {D.~van~Dalen and M.~Bezem},
publisher = {Springer-Verlag},
series = {{LNCS}},
volume = {1258},
year = {1997},
pages = {369-384}
}
@ARTICLE{OtVa96,
author = {Otto, Martin and Van den Bussche, Jan},
title = {First-order queries on databases embedded in an
infinite structure},
journal = {Information Processing Letters},
volume = {60},
year = {1996},
pages = {37-41}
}
@INPROCEEDINGS{Otto97c,
author = {Otto, Martin},
title = {Capturing bisimulation-invariant {P}time},
booktitle = {Proceedings of 4th Symposium on Logical Foundations of
Computer Science, LFCS `97},
publisher = {Springer-Verlag},
series = {{LNCS}},
volume = {1234},
year = {1997},
pages = {294-305}
}
@INPROCEEDINGS{Otto95d,
author = {Otto, Martin},
title = {Ptime canonization for two variables with counting},
booktitle = {Proceedings of 10th IEEE Symposium on Logic in Computer Science
LICS `95},
year = {1995},
pages = {342-352}
}
@ARTICLE{Otto96,
author = {Otto, Martin},
title = {The expressive power of fixed-point logic with
counting},
journal = {Journal of Symbolic Logic},
volume = {61},
year = {1996},
pages = {147-176}
}
@INPROCEEDINGS{Otto94,
author = {Otto, Martin},
title = {Generalized quantifiers for simple properties},
booktitle = {Proceedings of 9th IEEE Symposium on Logic in Computer Science
LICS `94},
year = {1994},
pages = {30-39}
}
@INPROCEEDINGS{KolaitisOtto98,
author = {Kolaitis, Phokion and Otto, Martin},
title = {On the boundedness problem for two-variable
first-order logic},
booktitle = {Proceedings of IEEE Symposium on Logic in Computer Science
LICS `98},
year = {1998},
pages = {513-524}
}
@ARTICLE{NeOtTyVa00,
author = {Neven, Frank and Otto, Martin and Tyszkiewicz, Jerzy and
Van den Bussche, Jan},
title = {Adding {FOR}-loops to first-order logic},
journal = {Information and Computation},
year = {2001},
volume = {168},
pages = {156-186},
note = {proceedings version in:
ICDT'99, LNCS 1540, 1999, pp. 58-69}
}
@INPROCEEDINGS{NeOtTyVa99,
author = {Neven, Frank and Otto, Martin and Tyszkiewicz, Jerzy and
Van den Bussche, Jan},
title = {Adding {FOR}-loops to first-order logic},
booktitle = {Proceedings of ICDT'99},
publisher = {Springer-Verlag},
series = {{LNCS}},
volume = {1540},
year = {1999},
pages = {58-69}
}
@ARTICLE{Otto87,
author = {Otto, Martin},
title = {A reduction scheme for phase spaces with almost-{K}{\"a}hler
symmetry - regularity results for momentum level sets},
journal = {Journal of Geometry and Physics},
volume = {4},
year = {1987},
pages = {101-118}
}
@INPROCEEDINGS{Otto:02b,
author = {Otto, Martin},
title = {Modal and guarded characterisation theorems over finite
transition systems},
booktitle = {Proceedings of 17th {IEEE} Symposium on Logic in Computer Science
{LICS}'02},
year = {2002},
pages = {371-380}
}
@INCOLLECTION{Otto:06a,
author = {Otto, Martin},
title = {Bisimulation invariance and finite models},
year = {2006},
booktitle = {Logic Colloquium '02},
series = {Lecture Notes in Logic},
publisher = {ASL},
editor = {Z. Chatzidakis and P. Koepke and W. Pohlers}
}
@INCOLLECTION{Otto:06,
author = {Goranko, Valentin and Otto, Martin},
title = {Model Theory of Modal Logic},
booktitle = {Handbook of Modal Logic},
pages = {255-325},
publisher = {Elsevier},
year = {2006},
editor = {P. Blackburn and F. Wolter and J. van Benthem}
}
@INPROCEEDINGS{DaOt:05b,
author = {Dawar, Anuj and Otto, Martin},
title = {Modal characterisation theorems over special classes of frames},
booktitle = {Proceedings of 20th {IEEE} Symposium on Logic in Computer Science
{LICS}'05},
year = {2005},
pages = {21-30}
}
@INPROCEEDINGS{Otto06,
author = {Otto, Martin},
title = {The boundedness problem for monadic universal first-order logic},
booktitle = {Proceedings of 21st {IEEE} Symposium on Logic in Computer Science
{LICS}'06},
year = {2006},
pages = {37-46}
}
@INPROCEEDINGS{KiOt:05c,
author = {Kieronski, Emanuel and Otto, Martin},
title = {Small substructures and decidability issues for two-variable first-order logic},
booktitle = {Proceedings of 20th {IEEE} Symposium on Logic in
Computer Science {LICS}'05},
year = {2005},
pages = {448-457}
}
@BOOK{Otto97,
author = {Otto, Martin},
title = {Bounded variable logics and counting
-- {A} study in finite models},
booktitle = {Lecture Notes in Logic},
volume = {9},
publisher = {Springer-Verlag},
year = {1997},
note = {IX+183 pages}
}
@INPROCEEDINGS{KohLICS:04,
author = {Akama, Yohji and Berardi, Stefano and Hayashi, Susumu and
Kohlenbach, Ulrich},
title = {An arithmetical hierarchy of the law of excluded middle
and related principles},
editor = {Ganzinger, H.},
booktitle = {Proc. of the 19th Annual IEEE Symposium on Logic in Computer
Science (LICS 2004)},
publisher = {IEEE Computer Society Press},
pages = {192-201},
year = 2004
}
@INPROCEEDINGS{CEK:06,
author = {Cohen, Ben and Escardo, Martin and Keimel, Klaus},
title = {The extended probabilistic power domain monad over
stably compact spaces},
editor = {Cai, Jin-Yi and Cooper, S. Barry and Li, Angsheng},
booktitle = {Proceedings of TAMC 2006: Theory and Applications of
Models of Computation},
year = 2006,
series = {Lecture Notes in Computer Science},
volume = 3959,
publisher = {Springer Verlag},
pages = {566--575}
}
@ARTICLE{KKa:08,
author = {Keimel, Klaus},
title = {The Monad of Probability Measures over Compact Ordered Spaces
and its Eilenberg-Moore Algebras},
journal = {Topology and its Applications},
volume = {to appear},
pages = {18 pages},
year = {2008}
}
@ARTICLE{KK:08,
author = {Keimel, Klaus},
title = {Topological Cones: functional Analysis in a T$_0$-Setting},
journal = {Semigroup Forum},
volume = {77},
pages = {108--142},
year = {2008}
}
@ARTICLE{KS:08,
author = {Keimel, Klaus and Streicher, Thomas},
title = {Predicate transformer semantics},
journal = {Annals of Pure and Applied Logic},
volume = {to appear},
pages = {20 pages},
year = {2008}
}
@ARTICLE{AK:06,
author = {Abbes, Samy and Keimel, Klaus},
title = {Projective topology on bifinite domains and applications},
journal = {Theoretical Computer Science},
volume = {365},
pages = {171--183},
year = {2006}
}
@BOOK{GHK:03,
author = {Gierz, Gerhard and Hofmann, Karl Heinrich and Keimel, Klaus
and Lawson, Jimmie D. and Mislove, Michael and Scott, Dana S.},
title = {Continuous {L}attices and {D}omains},
publisher = {Cambridge University Press},
series = { Encyclopedia of Mathematics and its Applications},
volume = 93,
pages = {xxxvi+591 pp.},
year = 2003
}
@ARTICLE{HJK:00,
author = {Huth, Michael and Jung, Achim and Keimel, Klaus},
title = {Linear types, approximation, and topology},
journal = {Mathematical Structures in Computer Science},
volume = 10,
pages = {719--746},
year = 2000
}
@ARTICLE{KK:06,
author = {Keimel, Klaus},
title = {Topological cones: Foundations for a domain theoretical
semantics combining probability and nondeterminism},
journal = {Electronic Notes in Theoretical Computer Science},
volume = 155,
pages = {423--443},
year = 2006
}
@BOOK{KR:92,
author = {Keimel, Klaus and Roth, Walter},
title = {Ordered {C}ones and {A}pproximation},
publisher = {Springer Verlag},
series = {Lectures Notes in Mathematics},
volume = 1517,
pages = {vi+134 pp.},
year = 1992
}
@ARTICLE{Keimellawson:05,
author = {Keimel, Klaus and Lawson, Jimmie D.},
title = {Measure extension theorems for $T_0$-spaces},
journal = {{Topology and its Applications}},
volume = 149,
pages = {57--83},
year = 2005
}
@ARTICLE{tkp:05,
author = {Tix, Regina and Keimel, Klaus and Plotkin, Gordon D.},
title = {Semantic Domains for Combining Probability and Non-Determinism},
journal = {{Electronic Notes in Theoretical Computer Science}},
volume = 129,
pages = {1--104},
year = 2005
}
@ARTICLE{GeoLeuPre:05,
author = {Georgescu, George and Leu\c stean, Lauren\c tiu and Preoteasa, Viorel},
title = {Pseudo-hoops},
journal = {Journal of Multiple-Valued Logic and Soft Computing},
volume = 11,
number = {1--2},
pages = {153--184},
year = 2005
}
@ARTICLE{GeoLeu:02,
author = {Georgescu, George and Leu\c stean,Lauren\c tiu},
title = {Some classes of pseudo-BL algebras},
journal = {Journal of Australian Mathematical Society},
volume = 73,
number = 1,
pages = {127--153},
year = 2002
}
@MISC{Gerh:03,
author = {Gerhardy, Philipp},
title = {{I}mproved {C}omplexity {A}nalysis of {C}ut {E}limination
and {H}erbrand's {T}heorem},
year = 2003,
howpublished = {Master's thesis, Aarhus}
}
@INPROCEEDINGS{Gerh:03a,
author = {Gerhardy, Philipp},
title = {{R}efined {C}omplexity {A}nalysis of {C}ut {E}limination},
editor = {Baaz, Matthias and Makovsky, Johann},
booktitle = {Proceedings of the 17th International Workshop CSL 2003},
publisher = {Springer-Verlag, Berlin},
series = {LNCS},
volume = {2803},
pages = {212--225},
year = 2003
}
@ARTICLE{Gerh:04,
author = {Gerhardy, Philipp},
title = {{T}he {R}ole of {Q}uantifier {A}lternations in {C}ut
{E}limination},
journal = {Notre Dame Journal of Formal Logic},
volume = 46,
pages = {165-171},
year = 2005
}
@ARTICLE{Gerh:05,
author = {Gerhardy, Philipp},
title = {{A} quantitative version of {K}irk's fixed point theorem
for asymptotic contractions},
journal = {J. Math. Anal. Appl.},
volume = 316,
pages = {339-345},
year = 2006
}
@ARTICLE{GerKoh:04,
author = {Gerhardy, Philipp and Kohlenbach, Ulrich},
title = {{E}xtracting {H}erbrand {D}isjuntions by {F}unctional
{I}nterpretation},
journal = {Arch. Math. Logic},
volume = 44,
pages = {633-644},
year = {2005}
}
@ARTICLE{GerKoh:04a,
author = {Gerhardy, Philipp and Kohlenbach, Ulrich},
title = {{S}trongly uniform bounds from semi-constructive proofs},
journal = {Ann. Pure Appl. Logic},
volume = 141,
pages = {89-107},
year = {2006}
}
@ARTICLE{GerKoh:06,
author = {Gerhardy, Philipp and Kohlenbach, Ulrich},
title = {{G}eneral logical metatheorems for functional analysis},
journal = {Trans. Amer. Math. Soc.},
year = {2007}
}
@ARTICLE{Koh:wollic06,
author = {Kohlenbach, Ulrich},
title = {A logical uniform boundedness principle for abstract
metric and hyperbolic spaces},
journal = {Electronic Notes in Theoretical Computer Science},
volume = 165,
pages = {81-93},
year = {2006}
}
@ARTICLE{GerKoh:05,
author = {Gerhardy, Philipp and Kohlenbach, Ulrich},
title = {{G}eneral {L}ogical {M}etatheorems for {F}unctional
{A}nalysis},
journal = {BRICS Research Report},
volume = 21,
pages = {65pp.},
year = {2005}
}
@ARTICLE{HeKo:03,
author = {Hernest, Mircea-Dan and Kohlenbach, Ulrich},
title = {{A} {C}omplexity {A}nalysis of {F}unctional
{I}nterpretations},
journal = {Theoretical Computer Science},
volume = 338,
pages = {200-246},
year = 2005
}
@ARTICLE{Koh:00,
author = {Kohlenbach, Ulrich},
title = {{T}hings that can and things that can't be done
in {PRA}},
journal = {Annals of Pure and Applied Logic},
volume = 102,
pages = {223--245},
year = 2000
}
@ARTICLE{Koh:01,
author = {Kohlenbach, Ulrich},
title = {{A} note on {S}pector's quantifier-free rule of
extensionality},
journal = {Arch. Math. Logic},
volume = 40,
pages = {89--92},
year = 2001
}
@ARTICLE{Koh:01b,
author = {Kohlenbach, Ulrich},
title = {{A} quantitative version of a theorem due to
{B}orwein-{R}eich-{S}hafrir},
journal = {Numer. Funct. Anal. and Optimiz.},
volume = 22,
pages = {641--656},
year = 2001
}
@INPROCEEDINGS{Koh:01c,
author = {Kohlenbach, Ulrich},
title = {On the computational content of the Krasnoselski and
Ishikawa fixed point theorems},
editor = {Blanck, J. and Brattka, V. and Hertling, P.},
booktitle = {Proc. of the Fourth Workshop on Computability and
Complexity in Analysis},
publisher = {Spinger Lecture Notes in Computer Science LNCS 2064},
pages = {119-145},
year = 2001
}
@INCOLLECTION{Koh:cie,
author = {Kohlenbach, Ulrich},
title = {Effective bounds from proofs in abstract functional analysis},
editor = {Cooper, B. and Loewe, B. and Sorbi, A.},
booktitle = {New Computational Paradigms. Changing Conceptions
of What is Computable},
publisher = {Springer Publishers},
pages = {223-258},
year = 2008
}
@INCOLLECTION{Koh:07g,
author = {Kohlenbach, Ulrich},
title = {{I}interview on the Philosophy of Mathematics},
editor = {Henricks, V. and Leitgeb, H.},
booktitle = {Philosophy of Mathematics: 5 Questions},
publisher = {Automatic Press/VIP},
pages = {183-190},
year = 2008
}
@INCOLLECTION{Koh:centenary,
author = {Kohlenbach, Ulrich},
title = {{G}oedel's functional interpretation and its use in current
mathematics},
editor = {Matthias Baaz},
booktitle = {Horizons of Truth: Goedel Centenary},
publisher = {Cambridge University Press},
note = {Reprinted in: dialectica Vol. 62, no. 2, pp. 223-267 (2008)},
year = 2008
}
@BOOK{Kohlenbach:08a,
author = {Kohlenbach, Ulrich},
title = {Applied Proof Theory: Proof Interpretations and their Use in
Mathematics},
publisher = {Springer Verlag},
series = {Springer Monographs in Mathematics},
pages = {xx+536 pp.},
year = 2008
}
@ARTICLE{Koh:01d,
author = {Kohlenbach, Ulrich},
title = {{I}ntuitionistic choice and restricted classical logic},
journal = {Math. Logic Quaterly},
volume = 47,
pages = {455--460},
year = 2001
}
@ARTICLE{Koh:08x,
author = {Kohlenbach, Ulrich},
title = {{H}erbrand's theorem and extractive proof theory},
journal = {SMF - Gazette des Mathematiciens},
volume = 118,
pages = {29--41},
year = 2001
}
@ARTICLE{Koh:02,
author = {Kohlenbach, Ulrich},
title = {{O}n uniform weak {K}{\"o}nig's lemma},
journal = {Annals of Pure and Applied Logic},
volume = 114,
pages = {103--116},
year = 2002
}
@ARTICLE{Koh:02b,
author = {Kohlenbach, Ulrich},
title = {{O}n weak {M}arkov's principle},
journal = {Math. Logic Quaterly},
volume = {48, supp.1},
pages = {59-65},
year = 2002
}
@ARTICLE{Koh:02c,
author = {Kohlenbach, Ulrich},
title = {{A}pplied foundations: proof mining in analysis},
journal = {Newsletter of the Danish Mathematical Society (Mathilde)},
volume = 13,
pages = {7--9},
year = 2002
}
@INCOLLECTION{Koh:02d,
author = {Kohlenbach, Ulrich},
title = {{F}oundational and mathematical uses of higher types},
editor = {Sieg, W. and Sommer, R. and Talcott, C.},
booktitle = {Reflections on the Foundations of Mathematics:
Essays in Honor of Solomon Feferman. },
publisher = {ASL and A K Peters},
series = {Lecture Notes in Logic},
volume = 15,
pages = {92-116},
year = 2002
}
@ARTICLE{Koh:03,
author = {Kohlenbach, Ulrich},
title = {{S}ome {L}ogical {M}etatheorems with {A}pplications in
{F}unctional {A}nalysis},
journal = {Trans. Amer. Math. Soc.},
volume = 357,
pages = {89--128},
year = 2005
}
@ARTICLE{Koh:03a,
author = {Kohlenbach, Ulrich},
title = {{U}niform asymptotic regularity for {M}ann iterates},
journal = {J. Math. Anal. Appl.},
volume = 279,
pages = {531--544},
year = 2003
}
@MISC{Koh:03b,
author = {Kohlenbach, Ulrich},
title = {Proof Interpretations and the Computational Content of
Proofs},
note = {Draft, December 2005, ii+395pp,
http://www2.mathematik.tu-darmstadt.de/{$\sim$}kohlenbach/newcourse.ps.gz},
year = 2005
}
@ARTICLE{Koh:04,
author = {Kohlenbach, Ulrich},
title = {Some computational aspects of metric fixed point theory},
journal = {Nonlinear Analysis},
volume = 61,
pages = {823-837},
year = 2005
}
@INCOLLECTION{Koh:05a,
author = {Kohlenbach, Ulrich},
title = {Higher order reverse mathematics},
editor = {Simpson, S.G.},
booktitle = {Reverse Mathematics 2001},
publisher = {ASL and A K Peters},
series = {Lecture Notes in Logic},
volume = 21,
pages = {281-295},
year = 2005
}
@INPROCEEDINGS{KohLam:04,
author = {Kohlenbach, Ulrich and Lambov, Branimir},
title = {Bounds on iterations of asymptotically
quasi-non-expansive mappings},
editor = {Falset, J.G. and Fuster, E.L. and Sims, B.},
booktitle = {Proc. International Conference on Fixed Point Theory and
Applications, Valencia 2003},
publisher = {Yokohama Publishers},
pages = {143--172},
year = 2004
}
@INPROCEEDINGS{KohLeu:06a,
author = {Kohlenbach, Ulrich and Leu\c stean, Lauren\c tiu},
title = {Approximate fixed points of nonexpansive functions in product spaces},
booktitle = {Mathematics, Algorithms, Proofs},
editor = {Thierry Coquand and Henri Lombardi and Marie-Fran{\c{c}}oise Roy},
number = 05021,
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany},
year = 2006,
optaddress = {Dagstuhl, Germany},
opturl = {http://drops.dagstuhl.de/opus/volltexte/2006/433
[date of citation: 2006-01-01]},
note = {$<$http://drops.dagstuhl.de/opus/volltexte/2006/433$>$
[date of citation: 2006-01-01]}
}
@ARTICLE{StreiKoh:07a,
author = {Streicher, Thomas and Kohlenbach, Ulrich},
title = {Shoenfield is Goedel after Krivine},
journal = {Mathematical Logic Quarterly},
volume = 53,
pages = {176-179},
year = 2007
}
@ARTICLE{Koh:07h,
author = {Kohlenbach, Ulrich},
title = {Proof interpretations and the computational content of
proofs in mathematics},
journal = {Bulletin EATCS},
volume = 93,
pages = {143-173},
year = 2007
}
@INPROCEEDINGS{Koh:05b,
author = {Kohlenbach, Ulrich},
title = {Proof mining in functional analysis (abstract)},
editor = {Cooper, S.B. and Loewe, B. and Torenvliet, L.},
booktitle = {CiE 2005},
publisher = {Springer Verlag},
series = {LNCS},
pages = {233--234},
year = 2005
}
@ARTICLE{KohOl:03,
author = {Kohlenbach, Ulrich and Oliva, Paulo},
title = {{P}roof {M}ining: {A} {S}ystematic {W}ay of {A}nalyzing
{P}roofs in {M}athematics},
journal = {Proc. Steklov Inst. Math},
volume = 242,
pages = {136--164},
year = 2003
}
@ARTICLE{ajk:04,
author = {Alvarez Manilla, Mauricio and Jung, Achim and Keimel, Klaus},
title = {Valuations and measures on stably compact spaces},
journal = {Theoretical Computer Science},
volume = 328,
pages = {221--244},
year = 2004
}
@ARTICLE{Kei:04,
author = {Keimel, Klaus},
title = {The probabilistic powerdomain for the upwards topology of a
compact ordered space},
journal = {Electronic Notes in Theoretical Computer Science},
volume = 87,
pages = {225--238},
year = 2004
}
@ARTICLE{Kel:04,
author = {Keimel, Klaus and Liang, Ji-Hua},
title = {Order environments of topological spaces},
journal = {Acta Mathematica Sinica},
volume = 20,
pages = {943--948},
year = 2004
}
@ARTICLE{Kei:99,
author = {Keimel, Klaus and Liang, Ji-Hua},
title = {Compact continuous L-domains},
journal = {Computers and Mathematics with Applications},
volume = 38,
pages = {81--89},
year = 1999
}
@ARTICLE{Kei:98,
author = {Keimel, Klaus},
title = {Bi-continuous valuations},
journal = {Electronic Notes in Theoretical Computer Science},
volume = 13,
pages = {},
year = 1998
}
@ARTICLE{KEE:98,
author = {Erker, Thomas and Escardo, Mart\'in and Keimel, Klaus},
title = {The way-below relation of function spaces over semantic domains},
journal = {Topology and its applications},
volume = 89,
pages = {61--74},
year = 1998
}
@INPROCEEDINGS{Kei:95,
author = {Keimel, Klaus},
title = {Some trends in lattice-ordered groups and rings},
editor = {Baker, K.A. and Wille, R.},
booktitle = {Lattice Theory and its Applications},
publisher = {Heldermann Verlag},
pages = {131--161},
year = 1995
}
@ARTICLE{KP:07,
author = {Keimel, Klaus and Plotkin, Gordon D.},
title = {Predicate transformers for convex powerdomains},
journal = {submitted},
volume = ?,
pages = {40pp.},
year = 2007
}
@ARTICLE{KL:08,
author = {Keimel, Klaus and Lawson, Jimmie D.},
title = {$D$-completions and the $d$-topology},
journal = {Annals of Pure and Applied Logic},
volume = {to appear},
pages = {27pp.},
year = 2008
}
@ARTICLE{KohOl:03a,
author = {Kohlenbach, Ulrich and Oliva, Paulo},
title = {{P}roof mining in {L}$_1$-approximation},
journal = {Annals of Pure and Applied Logic},
volume = 121,
pages = {1--38},
year = 2003
}
@ARTICLE{Koh:99a,
author = {Kohlenbach, Ulrich},
title = {{O}n the no-counterexample interpretation},
journal = {J. Symbolic Logic},
volume = 64,
pages = {1491--1511},
year = 1999
}
@ARTICLE{Koh:99b,
author = {Kohlenbach, Ulrich},
title = {{A} note on {G}oodman's theorem},
journal = {Studia Logica},
volume = 63,
pages = {1--5},
year = 1999
}
@INPROCEEDINGS{Koh:99c,
author = {Kohlenbach, Ulrich},
title = {The use of a logical principle of uniform boundedness in analysis},
editor = {Cantini A. and Casari, E. and Minari, P.},
booktitle = {Logic and Foundations of Mathematics. Synthese Library 280},
publisher = {Kluwer Academic Publishers},
pages = {93--106},
year = 1999
}
@ARTICLE{Koh:98a,
author = {Kohlenbach, Ulrich},
title = {On the arithmetical content of restricted forms of
comprehension, choice and general uniform boundedness},
journal = {Annals of Pure and Applied Logic},
volume = 95,
pages = {257--285},
year = 1998
}
@ARTICLE{Koh:98b,
author = {Kohlenbach, Ulrich},
title = {Relative constructivity},
journal = {Journal of Symbolic Logic},
volume = 63,
pages = {1218--1238},
year = 1998
}
@ARTICLE{Koh:98c,
author = {Kohlenbach, Ulrich},
title = {Proof theory and computational analysis},
journal = {Electronic Notes in Theoretical Computer Science},
volume = 13,
pages = {34pp.},
year = 1998
}
@ARTICLE{Koh:98d,
author = {Kohlenbach, Ulrich},
title = {Elimination of Skolem functions for monotone formulas in
analysis},
journal = {Arch. Math. Logic},
volume = 37,
pages = {363--390},
year = 1998
}
@INPROCEEDINGS{Koh:98e,
author = {Kohlenbach, Ulrich},
title = {Arithmetizing proofs in analysis},
editor = {Larrazabal, J.M. and Lascar, D. and Mints, G.},
booktitle = {Proceeedings of the Logic Colloquium'96},
series = {Lecture Notes in Logic},
publisher = {Springerverlag},
pages = {115--158},
year = 1998
}
@ARTICLE{Koh:96a,
author = {Kohlenbach, Ulrich},
title = {Mathematically strong subystems of analysis with low
rate of growth of provably recursive functionals},
journal = {Arch. Math. Logic},
volume = 36,
pages = {31--71},
year = 1996
}
@INPROCEEDINGS{Koh:96b,
author = {Kohlenbach, Ulrich},
title = {Analysing proofs in analysis},
editor = {Hodges, W. and Hyland, M. and Steinhorn C. and Truss, J.},
booktitle = {Logic: from foundations to applications.
Proceeedings of the Logic Colloquium'93},
publisher = {Oxford University Press},
pages = {225--260},
year = 1996
}
@ARTICLE{Koh:95a,
author = {Kohlenbach, Ulrich},
title = {A note on the $\Pi^0_2$-induction rule},
journal = {Arch. Math. Logic},
volume = 34,
pages = {279--283},
year = 1995
}
@ARTICLE{Koh:93a,
author = {Kohlenbach, Ulrich},
title = {Effective moduli from ineffective uniqueness proofs.
An unwinding of de La Vallee Poussin's proof for
Chebycheff approximation},
journal = {Annals of Pure and Logic},
volume = 64,
pages = {27--94},
year = 1993
}
@ARTICLE{Koh:93b,
author = {Kohlenbach, Ulrich},
title = {New effective moduli of uniqueness and uniform a-priori
estimates for constants of strong unicity by logical
analysis of known proofs in best approximation theory},
journal = {Numerical Functional Analysis and Optimization},
volume = 14,
pages = {581--606},
year = 1993
}
@ARTICLE{Koh:92a,
author = {Kohlenbach, Ulrich},
title = {Remarks on Herbrand normal forms and Herbrand Realizations},
journal = {Arch. Math. Logic},
volume = 31,
pages = {305--317},
year = 1992
}
@ARTICLE{Koh:92b,
author = {Kohlenbach, Ulrich},
title = {Pointwise hereditary majorization and some applications},
journal = {Arch. Math. Logic},
volume = 31,
pages = {227--241},
year = 1992
}
@ARTICLE{Koh:92c,
author = {Kohlenbach, Ulrich},
title = {Effective bounds from ineffective proofs in analysis:
an application of functional interpretation and majorization},
journal = {Journal of Symbolic Logic},
volume = 57,
pages = {1239--1273},
year = 1992
}
@ARTICLE{KohLeu:03,
author = {Kohlenbach, Ulrich and Leu\c stean, Laurentiu},
title = {{M}ann iterates of directionally nonexpansive mappings in
hyperbolic spaces},
journal = {Abstract and Applied Analysis},
volume = 8,
pages = {449--477},
year = 2003
}
@MISC{KohLeu:05b,
author = {Kohlenbach, Ulrich and Leu\c stean, Laurentiu},
title = {Approximate fixed point property in product spaces (abstract)},
note = {In Oberwolfach Report 14/2005, Mathematisches Forschungsinstitut Oberwolfach, Workshop Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics, March 20-26 2005, 795-797},
year = 2005
}
@ARTICLE{KohLeu:07a,
author = {Kohlenbach, Ulrich and Leu\c stean, Lauren\c tiu},
title = {Approximate fixed points of nonexpansive functions in product spaces},
journal = {Nonlinear Analysis},
volume = 66,
pages = {806-818},
year = 2007
}
@ARTICLE{KohLeu:07b,
author = {Kohlenbach, Ulrich and Leu\c stean, Lauren\c tiu},
title = { Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces},
journal = {Journal of the European Mathematical Society},
note = {to appear},
number = { },
year = 2008
}
@ARTICLE{KohLeu:08y,
author = {Kohlenbach, Ulrich and Leu\c stean, Lauren\c tiu},
title = {A quantitative Mean Ergodic Theorem for uniformly convex
Banach spaces},
journal = {Ergodic Theory and Dynamical Systems},
note = {to appear},
number = { },
year = 2008
}
@INPROCEEDINGS{BarLeu:00,
author = {Barb\u alat\u a, Costel and Leu\c stean, Lauren\c tiu},
title = {Applications of feed-forward neural networks to ecological phenomena forecasting},
editor = {Ioni\c t a, Angela},
booktitle = {Proceedings of ICTPA'2000, Bucharest, Romania, October 18-20},
year = 2000
}
@MISC{BarLeu:04,
author = {Barb\u alat\u a, Costel and Leu\c stean, Lauren\c tiu},
title = {Average monthly liquid flow forecasting using neural networks},
note = {draft},
year = 2004
}
@ARTICLE{DiNoGeoLeu:00,
author = {Di Nola, Antonio and Georgescu, George and Leu\c stean, Lauren\c tiu},
title = {Boolean products of BL-algebras},
journal = {Journal of Mathematical Analysis and Applications},
volume = 251,
pages = {106--131},
year = 2000
}
@ARTICLE{DiNoLeu:03,
author = {Di Nola, Antonio and Leu\c stean,Lauren\c tiu},
title = {Compact representations of BL-algebras},
journal = {Archive for Mathematical Logic},
volume = 42,
number = 8,
pages = {737--761},
year = 2003
}
@ARTICLE{Leu:00,
author = {Leu\c stean,Lauren\c tiu},
title = {Some algebraic properties of non-commutative fuzzy structures},
journal = {Studies in Informatics and Control},
volume = 9,
number = 4,
pages = {365--370},
year = 2000
}
@ARTICLE{Leu:01,
author = {Leu\c stean,Lauren\c tiu},
title = {Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm},
journal = {Studies in Informatics and Control},
volume = 10,
number = 4,
pages = {287--299},
year = 2001
}
@ARTICLE{Leu:02a,
author = {Leu\c stean, Lauren\c tiu},
title = {Canonical models and filtrations in three-valued propositional modal logic},
journal = {Journal of Multiple-Valued Logic},
volume = 8,
number = {1--2},
pages = {577--590},
year = 2002
}
@ARTICLE{Leu:02b,
author = {Leu\c stean, Lauren\c tiu},
title = {Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm},
journal = {Buletinul \c stiin\c tific al Universit\u a\c tii Politehnica din Timi\c soara},
series = {Automatic\u a \c si Calculatoare},
volume = {47(61)},
number = {1},
pages = {77--82},
year = 2002
}
@ARTICLE{Leu:03,
author = {Leu\c stean, Lauren\c tiu},
title = {The prime and maximal spectra and the reticulation of BL-algebras},
journal = {Central European Journal of Mathematics},
volume = {1},
number = {3},
pages = {382--397},
year = 2003
}
@MISC{Leu:04,
author = {Leu\c stean, Lauren\c tiu},
title = {Representations of many-valued algebras},
year = 2004,
note = {PhD Thesis, University of Bucharest}
}
@ARTICLE{Leu:05,
author = {Leu\c stean, Lauren\c tiu},
title = {Sheaf representations of BL-algebras},
journal = { Soft Computing - A Fusion of Foundations, Methodologies and Applications },
volume = 9,
number = 12,
pages = {897--909},
year = 2005
}
@ARTICLE{Leu:06a,
author = {Leu\c stean, Lauren\c tiu},
title = {Proof mining in $R$-trees and hyperbolic spaces },
journal = {Electronic Notes in Theoretical Computer Science},
volume = 165,
pages = {95-106},
note = {in Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC'2006), Stanford, CA, USA, July 18-21, 2006},
year = 2006
}
@ARTICLE{Leu:06b,
author = {Leu\c stean, Lauren\c tiu},
title = {Baer extensions of BL-algebras},
journal = {Journal of Multiple-Valued Logic and Soft Computing (to appear)},
year = 2006
}
@ARTICLE{Leu:07a,
author = {Leu\c stean, Lauren\c tiu},
title = {A quadratic rate of asymptotic regularity in CAT(0)-spaces},
journal = {Journal of Mathematical Analysis and Applications},
volume = 325,
number = 1,
pages = { 386-399},
year = 2007
}
@ARTICLE{Leu:07b,
author = {Leu\c stean, Lauren\c tiu},
title = {Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings},
journal = {Journal of Universal Computer Science},
volume = 13,
number = 11,
pages = {1680-1691},
year = 2007,
note = {in C.S. Calude, G. Stefanescu, and M. Zimand (Eds.): Combinatorics and Related Areas. A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu.}
}
@TECHREPORT{LeuRos:03,
author = {Leu\c stean, Lauren\c tiu and Ro\c su, Grigore},
title = {Certifying Kalman Filters},
institution = {Research Institute for Advanced Computer Science (RIACS), NASA Ames Research Center},
address = {NASA Ames Research Center, Moffet Field, California, USA},
number = {TR.03.02},
month = {January},
year = 2003
}
@ARTICLE{PriLeu:00,
author = {Pribeanu, Costin and Leu\c stean,Lauren\c tiu},
title = {Consistence evaluation of a man-machine interaction language using connectionist models},
journal = {Revista Rom\^ an\u a de Informatic\u a \c si Automatic\u a},
volume = 10,
number = 3,
pages = {40--45},
year = 2000
}
@INPROCEEDINGS{LeuCAV:03,
author = {Ro\c su, Grigore and Prasad Venkatesan, Ram and Whittle, Jon and Leu\c stean, Lauren\c tiu},
title = {Certifying optimality of state estimation programs},
editor = {Hunt Jr., Warren A. and Somenzi, Fabio},
booktitle = {Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003},
publisher = {Springer },
series = {Lecture Notes in Computer Science},
volume = 2725,
pages = {301--314},
year = 2003
}
@INCOLLECTION{Bur:04a,
author = {Peter Burmeister},
title = {Galois Connections for Partial Algebras},
booktitle = {Galois Connections and Applications},
pages = {345 - 370},
publisher = {Kluwer},
year = 2004,
editor = {Denecke, K. and Ern\'{e}, M. and Wismath, S.L.},
volume = 565,
series = {Mathematics and its Applications}
}
@INCOLLECTION{Bur:04b,
author = {Peter Burmeister},
title = {Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras},
booktitle = {Special Issue of Studia Logica: ``Algebraic Theory of Quasivarieties''},
pages = {129 - 153},
publisher = {Kluver Academic Publishers},
year = 2004,
editor = {Adams, M.E. and Adaricheva, K.V. and Dzobiak, W. and Kravchenko, A.V.},
volume = 78,
series = {Studia Logica}
}
@ARTICLE{BlumensathKreutzer05,
author = {A. Blumensath and S. Kreutzer},
title = {{An Extension to Muchnik's Theorem}},
journal = {Journal of Logic and Computation},
volume = 15,
year = {2005},
pages = {59--74}
}
@ARTICLE{BlumensathGraedel04,
author = {A. Blumensath and E. {Gr\"adel}},
title = {{Finite Presentations of Infinite Structures: Automata and Interpretations}},
journal = {Theory of Computing Systems},
volume = 37,
year = {2004},
pages = {641--674}
}
@ARTICLE{Blumensath04,
author = {A. Blumensath},
title = {{Axiomatising tree-interpretable structures}},
journal = {Theory of Computing Systems},
volume = 37,
year = {2004},
pages = {3--27}
}
@PHDTHESIS{Blumensath03b,
author = {A. Blumensath},
title = {{Structures of Bounded Partition Width}},
school = {{RWTH Aachen}},
address = {Aachen},
type = {{Ph.\,D.\ Thesis}},
year = 2003
}
@INCOLLECTION{BerwangerBlumensath02a,
author = {D. Berwanger and A. Blumensath},
title = {{The Monadic Theory of Tree-like Structures}},
editor = {E. {Gr\"adel} and W. Thomas and T. Wilke},
booktitle = {{Automata, Logic, and Infinite Games}},
series = {{LNCS 2500}},
publisher = {Springer Verlag},
year = 2002,
pages = {285--301}
}
@INCOLLECTION{BerwangerBlumensath02b,
author = {D. Berwanger and A. Blumensath},
title = {{Automata for Guarded Fixed Point Logics}},
editor = {E. {Gr\"adel} and W. Thomas and T. Wilke},
booktitle = {{Automata, Logic, and Infinite Games}},
series = {{LNCS 2500}},
publisher = {Springer Verlag},
year = 2002,
pages = {343--355}
}
@INPROCEEDINGS{BlumensathGraedel02,
author = {A. Blumensath and E. {Gr\"adel}},
title = {{Finite Presentations of Infinite Structures: Automata and Interpretations}},
booktitle = {{Proc.\ 2nd Int.\ Workshop on Complexity in Automata Deduction, CiAD}},
year = 2002
}
@INPROCEEDINGS{Blumensath03,
author = {A. Blumensath},
title = {{Axiomatising Tree-Interpretable Structures}},
booktitle = {{Proc.\ 19th Int.\ Symp.\ on Theoretical Aspects of Computer Science, STACS, LNCS 2285}},
year = 2003,
pages = {596--607}
}
@TECHREPORT{Blumensath01,
author = {A. Blumensath},
title = {{Prefix-Recognisable Graphs and Monadic Second-Order Logic}},
institution = {{RWTH Aachen}},
number = {{AIB-2001-06}},
year = 2001
}
@INPROCEEDINGS{Blumensath00,
author = {A. Blumensath},
title = {{Bounded Arithmetic and Descriptive Complexity}},
booktitle = {{Proc.\ 14th Ann. Conference of the European Association for Computer Science Logic, LNCS 1862}},
year = 2000,
pages = {232--246}
}
@INPROCEEDINGS{BlumensathGraedel00,
author = {A. Blumensath and E. {Gr\"adel}},
title = {{Automatic Structures}},
booktitle = {{Proc.\ 15th IEEE Symp.\ on Logic in Computer Science, LICS}},
year = 2000,
pages = {51--62}
}
@PHDTHESIS{Blumensath99,
author = {A. Blumensath},
title = {{Automatic Structures}},
school = {{RWTH Aachen}},
address = {Aachen},
type = {{Diploma Thesis}},
year = 1999
}
@ARTICLE{Blumensath06,
author = {A. Blumensath},
title = {{A Model Theoretic Characterisation of Clique-Width}},
journal = {Annals of Pure and Applied Logic},
volume = 142,
year = {2006},
pages = {321--350}
}
@ARTICLE{BlumensathCourcelle06,
author = {A. Blumensath and B. Courcelle},
title = {{Recognizability, Hypergraph Operations, and Logical Types}},
journal = {Information and Computation},
volume = 204,
year = {2006},
pages = {853--919}
}
@ARTICLE{Wil:04,
author = {Wille, Annika M.},
title = {The variety of lattice-ordered monoids generated by the natural numbers},
journal = {Studia Logica},
volume = 76,
number = 2,
pages = {275--290},
year = 2004
}
@ARTICLE{Wil:05,
author = {Wille, Annika M.},
title = {A Gentzen system for involutive residuated lattices},
journal = {Algebra Universalis},
volume = 54,
number = 4,
pages = {449--463},
year = 2005
}
@ARTICLE{Briseid:07a,
author = {Eyvind Martol Briseid},
title = {A Rate of Convergence for Asymptotic Contractions},
journal = {Journal of Mathematical Analysis and Applications},
year = {2007},
volume = {330},
pages = {364--376}
}
@ARTICLE{Briseid:07b,
author = {Eyvind Martol Briseid},
title = {Addendum to the Paper:
Some Results on {Kirk's} Asymptotic Contractions},
journal = {Fixed Point Theory},
year = {2007},
volume = {8},
number = {2},
pages = {321--322}
}
@ARTICLE{Briseid:07c,
author = {Eyvind Martol Briseid},
title = {Some Results on {Kirk's} Asymptotic Contractions},
journal = {Fixed Point Theory},
year = {2007},
volume = {8},
number = {1},
pages = {17--27}
}
This file has been generated by bibtex2html 1.85.