Result 1 to 20 of 20 total
On being a student of John Reynolds. (English)
Theor. Comput. Sci. 375, No. 1-3, 346-350 (2007).
1
Precedence-inclusion patterns and relational learning. (English)
Theor. Comput. Sci. 342, No. 2-3, 262-315 (2005).
2
A decision-tree-based symbolic rule induction system for text categorization. (English)
IBM Syst. J. 41, No. 3, 428-437 (2002).
3
Text categorization based on regularized linear classification methods. (English)
Inf. Retr. 4, No.1, 5-31 (2001).
4
An application of lattice theory to knowledge representation. (English)
Theor. Comput. Sci. 249, No.1, 163-196 (2000).
5
Maximizing Text-Mining Performance. (English)
IEEE Intelligent Systems 14, No.04, 63-69 (1999).
6
The algebraic essence of K-rep (English)
Description Logics, 182-184 (1996).
7
The K-rep system architecture (English)
Description Logics, 197-199 (1996).
8
Full abstraction and recursion. (English)
Theor. Comput. Sci. 151, No.1, 207-256 (1995).
9
Adjunctions between categories of domains. (English)
Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 22, No.1-2, 93-116 (1995).
10
The equivalence of model-theoretic and structural subsumption in description logics (English)
IJCAI, 710-717 (1993).
11
When is a category of many-sorted algebras Cartesian closed. (English)
Int. J. Found. Comput. Sci. 3, No.2, 225-231 (1992).
12
Full abstraction and unnested recursion (English)
REX Workshop, 384-397 (1992).
13
A non-well-founded approach to terminological cycles (English)
AAAI, 761-766 (1992).
14
Non-well-founded sets modeled as ideal fixed points. (English)
Inf. Comput. 93, No.1, 16-54 (1991).
15
A simple language supporting angelic nondeterminism and parallel composition (English)
MFPS, 77-101 (1991).
16
Non-well-founded sets obtained from ideal fixed points. (English)
Logic in computer science, Proc. 4th Annual Symp., Pacific Grove/CA (USA) 1989, 263-272 (1989).
17
Non-well-founded sets obtained from ideal fixed points (English)
LICS, 263-272 (1989).
18
Semantics for concurrency without powerdomains (English)
POPL, 211-222 (1987).
19
Type algebras, functor categories, and block structure. (English)
Algebraic methods in semantics, Semin. Fontainebleau/France 1982, 543-573 (1985).
20
Result 1 to 20 of 20 total
Start
Contact
Print
General Help
