Sven Panne (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Norbert Eisinger, Tim Geisler, Sven Panne: Logic Implemented Functionally. PLILP 1997: 351-368

1 Tim Geisler, Sven Panne, Heribert Schütz: Satchmo - The Compiling and Functional Variants. J. Autom. Reasoning 18(2): 227-236 (1997)

Selection of 2 from 2 records - Sven Panne has 3 coauthors

2		Norbert Eisinger, Tim Geisler, Sven Panne: Logic Implemented Functionally. PLILP 1997: 351-368
1		Tim Geisler, Sven Panne, Heribert Schütz: Satchmo - The Compiling and Functional Variants. J. Autom. Reasoning 18(2): 227-236 (1997)