Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Willem Conradie" ( http://dblp.L3S.de/Authors/Willem_Conradie )

  Author page on DBLP  Author page in RDF  Community of Willem Conradie in ASPL-2

Publication years (Num. hits)
2004-2012 (12)
Publication types (Num. hits)
article(9) inproceedings(3)
Venues (Conferences, Journals, ...)
Journal of Applied Non-Classic...(2) Advances in Modal Logic(1) Ann. Pure Appl. Logic(1) CAEPIA(1) CoRR(1) Electr. Notes Theor. Comput. S...(1) Fundam. Inform.(1) J. Applied Logic(1) J. Log. Comput.(1) KR(1) Logical Methods in Computer Sc...(1)
Authors
Willem Conradie(12) Valentin Goranko(7) Dimiter Vakarelov(6) Alessandra Palmigiano(1) Balder ten Cate(1) Guido Sciavicco(1) Maarten Marx(1) Yde Venema(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Willem Conradie, Alessandra Palmigiano Algorithmic correspondence and canonicity for distributive modal logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Guido Sciavicco On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case. Search on Bibsonomy CAEPIA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Valentin Goranko, Dimiter Vakarelov Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. Search on Bibsonomy J. Applied Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Willem Conradie Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Valentin Goranko, Dimiter Vakarelov Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  BibTeX  RDF
1Willem Conradie, Valentin Goranko Algorithmic correspondence and completeness in modal logic. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2008 DBLP  BibTeX  RDF
1Willem Conradie On the strength and scope of DLS. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2006 DBLP  BibTeX  RDF
1Willem Conradie, Valentin Goranko, Dimiter Vakarelov Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Valentin Goranko, Dimiter Vakarelov Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. Search on Bibsonomy J. Log. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Valentin Goranko, Dimiter Vakarelov Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema Definitorially Complete Description Logics. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Willem Conradie, Valentin Goranko, Dimiter Vakarelov Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.