Tim Geisler (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

2 Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler: The theorem prover SATCHMO : strategies, heuristics and applications. JFPLC 1995: 349-

Selection of 2 from 6 records - Tim Geisler has 6 coauthors

5		Norbert Eisinger, Tim Geisler, Sven Panne: Logic Implemented Functionally. PLILP 1997: 351-368
2		Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler: The theorem prover SATCHMO : strategies, heuristics and applications. JFPLC 1995: 349-