Skip to content
cs-conference-ranking.org

Marta Franov

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

5

Active years

1985–2009

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2009ISMISOn Computational Creativity, 'Inventing' Theorem Proofs.Marta Franov, Yves Kodratoff
1996ISMISAutomated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving.Marta Franov
1993ISMISConstructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?Marta Franov, Yves Kodratoff, Martine Gross
1992ECAIPredicate Synthesis from Formal Specifications.Marta Franov, Yves Kodratoff
1991IJCAISolving "How to Clear a Block" with Constructive Matching Methodology.Marta Franov, Yves Kodratoff
1990ISSACPRECOMAS an Implementation of Constructive Matching Methodology.Marta Franov
1990JELIAUntitled recordMarta Franov
1988ECAIAn Implementation of Program Synthesis from Formal Specifications: PRECOMAS.Marta Franov
1988ECAIFundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic Formulae.Marta Franov
1985IJCAICM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs.Marta Franov