Marion Mircheva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1990–1994
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | ICLP | Logic Programs with Refutation Rules. | Marion Mircheva |
| 1994 | LOPSTR | Logic Programs with Tests. | Marion Mircheva |
| 1990 | AIMSA | A Logic for Truth Maintenance Reasoning. | Ivan Popchev, Neli Zlatareva, Marion Mircheva |
| 1990 | ECAI | A Truth Maintenance Theory: An Alternative Approach. | Ivan Popchev, Neli Zlatareva, Marion Mircheva |