Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Timothy Vermeir
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
3
Resultaten
2002
An inconsistency-adaptive proof procedure for logic programming
Timothy Vermeir
P1
Conferentie
2002
Direct dynamic proofs for the Rescher-Manor consequence relations : the flat case
Diderik Batens
Timothy Vermeir
A2
Artikel in een tijdschrift
in
JOURNAL OF APPLIED NON-CLASSICAL LOGICS
2002
2000
Inconsistency-adaptive arithmetic
Timothy Vermeir
A2
Artikel in een tijdschrift
in
LOGIQUE ET ANALYSE
2000