@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://www.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.