Florina Piroi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006)

1 Florina Piroi, Bruno Buchberger: Focus Windows: A New Technique for Proof Presentation. AISC 2002: 337-342

Selection of 2 from 5 records - Florina Piroi has 11 coauthors

4		Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006)
1		Florina Piroi, Bruno Buchberger: Focus Windows: A New Technique for Proof Presentation. AISC 2002: 337-342