Programming Languages and Systems

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Programming Languages and Systems
 
Publisher Herausgeber
Springer / LNCS
 
Place of publishing Erscheinungsort
7792
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


Filter:
Date Issued:  [2000 TO 2024]
Author:  Kovács, Laura
Date Issued:  [2010 TO 2019]

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012