default search action

combined dblp search
author search
venue search
publication search

ask others

Computational Logic 2014

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Series > Computational Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - series/hhl/9
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/9
Jörg H. Siekmann:
Computational Logic. Handbook of the History of Logic 9, Elsevier 2014, ISBN 978-0-444-51624-4
- view
  authority control:
- export record
  dblp key:
  - series/hhl/SiekmannG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/SiekmannG14
Jörg H. Siekmann, Dov M. Gabbay:
Editorial Note.
- view
  authority control:
- export record
  dblp key:
  - series/hhl/Siekmann14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/Siekmann14
Jörg H. Siekmann:
Computational Logic. 15-30
- view
  authority control:
- export record
  dblp key:
  - series/hhl/Davis14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/Davis14
Martin Davis:
Logic and the development of the computer. 31-38
- view
  authority control:
- export record
  dblp key:
  - series/hhl/Gabbay14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/Gabbay14
Dov M. Gabbay:
What is a logical system? An evolutionary view: 1964-2014. 41-132
- view
  authority control:
- export record
  dblp key:
  - series/hhl/HarrisonUW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/HarrisonUW14
John Harrison, Josef Urban, Freek Wiedijk:
History of Interactive Theorem Proving. 135-214
- view
  authority control:
- export record
  dblp key:
  - series/hhl/BenzmullerM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/BenzmullerM14
Christoph Benzmüller, Dale Miller:
Automation of Higher-Order Logic. 215-254
- view
  authority control:
- export record
  dblp key:
  - series/hhl/KirchnerK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/KirchnerK14
Claude Kirchner, Hélène Kirchner:
Equational Logic and Rewriting. 255-282
- view
  authority control:
- export record
  dblp key:
  - series/hhl/DuboisP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/DuboisP14
Didier Dubois, Henri Prade:
Possibilistic Logic - An Overview. 283-342
- view
  authority control:
- export record
  dblp key:
  - series/hhl/KamareddineWZB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/KamareddineWZB14
Fairouz Kamareddine, Joe B. Wells, Christoph Zengler, Henk Barendregt:
Computerising Mathematical Text. 343-396
- view
  authority control:
- export record
  dblp key:
  - series/hhl/BaetenS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/BaetenS14
Jos C. M. Baeten, Davide Sangiorgi:
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi. 399-442
- view
  authority control:
- export record
  dblp key:
  - series/hhl/Ambos-SpiesF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/Ambos-SpiesF14
Klaus Ambos-Spies, Peter A. Fejer:
Degrees of Unsolvability. 443-494
- view
  authority control:
- export record
  dblp key:
  - series/hhl/FortnowH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/FortnowH14
Lance Fortnow, Steven Homer:
Computational Complexity. 495-521
- view
  authority control:
- export record
  dblp key:
  - series/hhl/Kowalski14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/Kowalski14
Robert A. Kowalski:
Logic Programming. 523-569
- view
  authority control:
- export record
  dblp key:
  - series/hhl/MinkerSZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/MinkerSZ14
Jack Minker, Dietmar Seipel, Carlo Zaniolo:
Logic and Databases: A History of Deductive Databases. 571-627
- view
  authority control:
- export record
  dblp key:
  - series/hhl/Meyer14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/Meyer14
John-Jules Ch. Meyer:
Logics for Intelligent Agents and Multi-Agent Systems. 629-658
- view
  authority control:
- export record
  dblp key:
  - series/hhl/KnorrH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/KnorrH14
Matthias Knorr, Pascal Hitzler:
Description Logics. 659-678
- view
  authority control:
- export record
  dblp key:
  - series/hhl/HitzlerLP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/hhl/HitzlerLP14
Pascal Hitzler, Jens Lehmann, Axel Polleres:
Logics for the Semantic Web. 679-710

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.