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

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 BatensTimothy 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