search result

Cover von A Verified Cyclicity Checker

A Verified Cyclicity Checker

For Theories with Overloaded Constants
Year: 2022
Media group: LIPIcs
Cover von Proofs for Propositional Model Counting

Proofs for Propositional Model Counting

Year: 2022
Media group: LIPIcs
Cover von Parallel Model Counting with CUDA

Parallel Model Counting with CUDA

Algorithm Engineering for Efficient Hardware Utilization
Year: 2021
Media group: LIPIcs
Cover von Characteristic Formulae for Liveness Properties of Non-Terminating CakeML Programs

Characteristic Formulae for Liveness Properties of Non-Terminating CakeML Programs

Year: 2019
Media group: LIPIcs
Cover von Computational line geometry
Author: Pottmann, Helmut; Wallner, Johannes Search for this author
Year: 2001
Publisher: Berlin, Springer
Series: Mathematics and visualization
Media group: MONOGRAPHIE
Cover von Linguistic instruments in requirements engineering
Author: Burg, Johannes F. M. Search for this author
Year: 1997
Publisher: Amsterdam, IOS Press
Media group: DISSERTATION
Cover von Computeralgebra, Software
05.02. - 09.02.96 (9606)
Search for this author
Year: 1996
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 133
Media group: DAGSTUHL-SEMINAR-REP
Cover von Praktikum Neuronale Netze
Author: Braun, Heinrich; Feulner, Johannes; Malaka, Rainer Search for this author
Year: 1996
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Algorithms and number theory
10.10. - 14.10.94 (9441)
Search for this author
Year: 1995
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 100
Media group: DAGSTUHL-SEMINAR-REP
Cover von Algorithms and number theory
22.6. - 26.6.92 (9226)
Search for this author
Year: 1992
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 39
Media group: DAGSTUHL-SEMINAR-REP
OPEN V 11.1.0.0