Productivity of stream definitions (2008)
Endrullis, Jörg, Grabmayer, Clemens, Hendriks, D., Isihara, Ariya, Klop, J.W.
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called ‘productive’ if it can be evaluated continually in such...
Greenhouse gas fluxes in managed fen meadows in the Netherlands (2007)
Schrier, A., Kroon, P., Hendriks, D., Veenendaal, E.M., Berendse, F.
Carbon balance Greenhouse gas fluxes in intensive managed grasslands on peat (2007)
Veenendaal, E.M., Hendriks, D., Kroon, P., Schrier-Uijl, A.P., Hensen, A., ...
Proof reflection in Coq (2001)
We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form Γ- d [:] ø, stating that d...
Increased procarboxypeptidase U levels in type II diabetes (1999)
Van Gaal, L, Schatteman, K, Goossens, Franky; U0006629, Mertens, I, Scharpe, S, De Leeuw, I, ...
Clausification is an essential step in the so-called resolution method, one of the most successful procedures for automated theorem proving. Anticipating the use of resolution in proof construction...