Frank J. Oles
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1987–1993
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | IJCAI | The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics. | Robert Dionne, Eric Mays, Frank J. Oles |
| 1992 | AAAI | A Non-Well-Founded Approach to Terminological Cycles. | Robert Dionne, Eric Mays, Frank J. Oles |
| 1991 | MFPS | A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. | Michael W. Mislove, Frank J. Oles |
| 1989 | LICS | Non-Well-Founded Sets Obtained from Ideal Fixed Points | Michael W. Mislove, Lawrence S. Moss, Frank J. Oles |
| 1987 | POPL | Semantics for Concurrency without Powerdomains. | Frank J. Oles |