VIAF

Virtual International Authority File

Search

Blackburn, Patrick, 1959-.... National Library of France German National Library Library of Congress/NACO National Library of the Czech Republic National Library of Poland ISNI National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France

VIAF ID: 85380315 (Personal)

Permalink: http://viaf.org/viaf/85380315

ISNI: 0000  0001  1476  5125 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (3)

Open Section Close SectionWorks

Title Sources
Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base Sudoc [ABES], France
Dynamic squares National Library of the Netherlands
Handbook of modal logic National Library of France National Library of Poland National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France
Hybrid logics : characterization, interpolation and complexity National Library of the Netherlands
Learn prolog now! xR Extended Titles National Library of France National Library of the Netherlands Sudoc [ABES], France
L'implicature comme un processus interactif. Sudoc [ABES], France
Linguistics, logic, and finite trees National Library of the Netherlands
Modal logic: a semantic perspective National Library of the Netherlands
Modal logic and attribute value structures National Library of the Netherlands
Modal memory logics Sudoc [ABES], France
A modal perspective on the computational complexity of attribute value grammar National Library of the Netherlands
Modeling and using context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003 : proceedings National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France
Nominal tense logic National Library of the Netherlands
Prolog, tout de suite ! National Library of France Sudoc [ABES], France
A proof system for finite trees National Library of the Netherlands
Reasoning Tasks for Hybrid Logics. National Library of the Netherlands Sudoc [ABES], France
Relational methods in logic, language and information National Library of the Netherlands
Repairing the interpolation theorem in quantified modal logic National Library of the Netherlands
Representation and inference for natural language : a first course in computational semantics National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France
Situation calculus as hybrid logic: first steps National Library of the Netherlands
Specifying syntactic structures National Library of France National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France
Tableaux for quantified hybrid logic National Library of the Netherlands
Talking about trees NUKAT Center of Warsaw University Library National Library of the Netherlands
Techniques de raisonnement automatique pour les logiques hybrides. Sudoc [ABES], France
Tools for teaching logic third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings Library of Congress/NACO Sudoc [ABES], France
Why combine logics? National Library of the Netherlands
Zooming in, zooming out National Library of the Netherlands

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (6)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:85380315 (12)