Ana Pasztor (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Ana Pasztor, Ildikó Sain: A Streamlined Temporal Completeness Theorem. CSL 1989: 322-336

Selection of 1 from 15 records - Ana Pasztor has 7 coauthors