Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "logics"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
author_facet:"Löwe, Benedikt"
Showing
1
-
20
of
20
Search:
'"logics"'
,
query time: 0.05s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Interactive
logic
: selected papers from the 7th Augustus de Morgan Workshop, London
by
Benthem, Johan van
Published 2007
Amsterdam Univsity Press
Table of Contents:
“
...Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent
Logics
of Partial...
”
Call Number:
QA269
Read Now
2
Infinity in
Logic
and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
...Nadia Busi (1968–2007) -- Symbolic Model Checking of Tense
Logics
on Rational Kripke Models...
”
Read Now
3
Logic
and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... Theorems and Skolemization for Prenex Fuzzy
Logics
-- Decidability of Hybrid
Logic
with Local Common...
”
Read Now
4
Cultures of Mathematics and
Logic
: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
Published 2016
Springer International Publishing
Subjects:
“
...
Logic
...
”
Read Now
5
Logical
Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The
Logical
Strength...
”
Read Now
6
Computation and
Logic
in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... --
Logic
and Control -- Nash Stability in Additively Separable Hedonic Games Is NP-Hard -- Comparing...
”
Read Now
7
The Nature of Computation:
Logic
, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...Computer Science
Logic
and Foundations of Programming...
”
Read Now
8
Logic
and the Foundations of Game and Decision Theory - LOFT 8...
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... in the Theory of Aggregation --
Logic
and Data Exchange: Which Solutions Are “Good” Solutions? -- Preference...
”
Read Now
9
Foundations of the Formal Sciences II : Applications of Mathematical Logic in Philosophy and Linguistics
Published 2003
Springer Netherlands
Table of Contents:
“
... -- Mathematical
Logic
and Natural Language: Life at the border -- Bayesian Networks in Philosophy...
”
Read Now
10
Classical and New Paradigms of Computation and their Complexity Hierarchies : Papers of the conference "Foundations of the Formal Sciences III"
Published 2004
Springer Netherlands
Subjects:
“
...Mathematical
logic
...
”
Read Now
11
Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
Subjects:
“
...Mathematical
logic
...
”
Read Now
12
New Computational Paradigms : Changing Conceptions of What is Computable
Published 2008
Springer New York
Table of Contents:
“
...The Turing Model of Computation and its Applications to
Logic
, Mathematics, Philosophy...
”
Read Now
13
How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...Mathematical
logic
...
”
Read Now
14
Ordinal definability and recursion theory : The Cabal Seminar, Volume 3
Published 2016
Cambridge University Press
“
...Lecture notes in
logic
...
”
Call Number:
QA269
Read Now
15
The Cabal Seminar, Volume 2: Wedge degrees and projective ordinals
Published 2011
Cambridge University Press
“
...Lecture notes in
logic
...
”
Call Number:
QA269
Read Now
16
The Cabal Seminar, Volume 1: Games, scales, and suslin cardinals
Published 2008
Cambridge University Press
“
...Lecture notes in
logic
...
”
Call Number:
QA269
Read Now
17
Large cardinals, determinacy and other topics, Volume IV : The Cabal seminar
by
Kechris, A. S.
Published 2021
Cambridge University Press
“
...Lecture notes in
logic
...
”
Call Number:
QA269
Read Now
18
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
...
Logic
? -- Quasi-linear Dialectica Extraction -- Computing with Concepts, Computing with Numbers: Llull...
”
Read Now
19
Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... of Some Strong Reducibilities -- Complexity of Existential Positive First-Order
Logic
-- Stochastic...
”
Read Now
20
New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... -- A
Logical
Approach to Abstract Algebra -- Schnorr Dimension -- Abstract Geometrical Computation...
”
Back
Narrow Search
Remove Filters
Clear Filter
Author: Löwe, Benedikt
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
9
519 - Probabilities & applied mathematics
5
005 - Computer programming, programs & data
3
006 - Special computer methods
1
160 - Logic
1
510 - Mathematics
1
Language
English
20
Collection
Springer eBooks 2005-
13
Cambridge Books Online
4
Springer Book Archives -2004
2
JSTOR Open Access Books
1
Author
Löwe, Benedikt
Kechris, A. S.
4
Steel, J. R.
4
Cooper, Barry S.
3
Beckmann, Arnold
2
Brattka, Vasco
2
more ...
Räsch, Thoralf
2
Sorbi, Andrea
2
Ambos-Spies, Klaus
1
Archibald, Margaret
1
Augustus de Morgan Workshop ( 2005, London, England)
1
Benthem, Johan van
1
Berger, Ulrich
1
Bonanno, Giacomo
1
Bonizzoni, Paola
1
Cooper, S.B.
1
Dawar, Anuj
1
Dimitracopoulos, Costas
1
Ferreira, Fernando
1
Gabbay, Dov M.
1
Gomes, Luís Mendes
1
Goranko, Valentin F.
1
Ju, Shier
1
Malzkorn, Wolfgang
1
Mayordomo, Elvira
1
Merkle, Wolfgang
1
Müller, Thomas
1
Normann, Dag
1
Piwinger, Boris
1
Soskov, Ivan
1
Soskova, Alexandra
1
Tucker, John V.
1
Xie, Yun
1
van der Hoek, Wiebe
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=author_facet%3A%22L%C3%B6we%2C+Benedikt%22&lookfor=%22logics%22&type=AllFields
Send by Email
×
Loading...