Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Oles, Frank J."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On being a student of John Reynolds
Frank J. Oles
Theoretical Computer Science
375
(1-3), 2007, pp. 346-350
Precedence-inclusion patterns and relational learning
Frank J. Oles
Theoretical Computer Science
342
(2-3), 2005, pp. 262-315
An application of lattice theory to knowledge representation
Frank J. Oles
Theoretical Computer Science
249
(1), 2000, pp. 163-196
Full abstraction and recursion
Michael W. Mislove
,
Frank J. Oles
Theoretical Computer Science
151
(1), 1995, pp. 207-256
When is a category of many-sorted algebras Cartesian closed?
Frank J. Oles
International Journal of Foundations of Computer Science
3
(2), 1992, pp. 225-231
Non-well-founded sets modeled as ideal fixed points
Michael W. Mislove
,
Lawrence S. Moss
,
Frank J. Oles
Information and Computation
93
(1), 1991, July, pp. 16-54