sign in · help · news · about ·

BibSonomy :: author :: Doets ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(17)

<< < 1 > >>

A New Definition of SNDNF-Resolution.
Krzysztof R. Apt, and Kees Doets J. Log. Program. 18(2):177-190 (1994)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
A Slight Strengthening of a Theorem of Blair and Kunen.
Kees Doets Theor. Comput. Sci. 97(1):175-181 (1992)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Left Termination Turned into Termination.
Kees Doets Theor. Comput. Sci. 124(1):180-187 (1994)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Levationis Laus.
Kees Doets J. Log. Comput. 3(5):487-516 (1993)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
From logic to logic programming.
Kees Doets Foundations of computing series MIT Press, (1994)
to dblp by dblp on Apr 29, 2011, 12:00 AM
BibTeX
The Haskell road to logic, maths and programming
Kees Doets King's College Publications, London, (2004)
to UNUSED haskell functional_programming math by mhwombat on Aug 13, 2010, 12:34 PM
BibTeX
Axiomatizing Universal Properties of Quantifiers.
Kees Doets J. Symb. Log. 56(3):901-905 (1991)
to dblp by dblp on Jul 21, 2010, 3:46 PM
URL | BibTeX
TNO at TRECVID2008 Combining Audio and Video Fingerprinting for Robust Copy Detection.
Peter Jan O. Doets, Pieter Eendebak, Elena Ranguelova, and Wessel Kraaij TRECVID, National Institute of Standards and Technology NIST, (2008)
to dblp by dblp on Nov 19, 2009, 12:00 AM
URL | BibTeX
Distortion Estimation in Compressed Music Using Only Audio Fingerprints.
Peter Jan O. Doets, and Reginald L. Lagendijk IEEE Transactions on Audio, Speech & Language Processing 16(2):302-317 (2008)
to dblp by dblp on May 15, 2009, 12:00 AM
URL | BibTeX
The Haskell Road to Logic, Maths and Programming
Kees Doets, and Jan Eijck van College Publications, (May 2004)
to haskell by draganigajic on Jun 13, 2008, 12:37 AM
BibTeX
Stochastic Model of a Robust Audio Fingerprinting System.
Peter Jan O. Doets, and Reginald L. Lagendijk ISMIR, (2004)
to dblp by dblp on Mar 2, 2006, 12:00 AM
URL | BibTeX
Extracting Quality Parameters for Compressed Audio from Fingerprints.
Peter Jan O. Doets, and Reginald L. Lagendijk ISMIR, page 498-503. (2005)
to dblp by dblp on Feb 24, 2006, 12:00 AM
URL | BibTeX
Complexity-scalable compensation of geometrical distortions in image watermarking.
Peter Jan O. Doets, Iwan Setyawan, and Reginald L. Lagendijk ICIP 1, page 513-516. (2003)
to dblp by dblp on Jul 14, 2005, 12:00 AM
URL | BibTeX
Uniform Short Proofs for Classical Theorems.
Kees Doets Notre Dame Journal of Formal Logic 42(2):121-127 (2001)
to dblp by dblp on Feb 20, 2004, 12:00 AM
URL | BibTeX
Relatives of the Russell Paradox.
Kees Doets Math. Log. Q. (1999)
to dblp by dblp on Nov 24, 2003, 12:00 AM
URL | BibTeX
Elementary Properties of the Finite Ranks.
Anuj Dawar, Kees Doets, Steven Lindell, and Scott Weinstein Math. Log. Q. (1998)
to dblp by dblp on Nov 21, 2003, 12:00 AM
URL | BibTeX
Monadic Pi11-Theories of Pi11-Properties.
Kees Doets Notre Dame Journal of Formal Logic 30(2):224-240 (1989)
to dblp by dblp on Jan 3, 2002, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper