Type synthesis for ground prolog

von Kluźniak, Feliks
Veröffentlicht in Logic programming ; 1987 (1988)

Prolog for programmers

von Kluźniak, Feliks
Veröffentlicht 1985

Minimization of the Number of Clocks for Timed Scenarios

von Saeedloei, Neda
Veröffentlicht in SBMF (24. : 2021 : Online) Formal Methods: Foundations and Applications (2021)

Prolog for programmers

von Kluźniak, Feliks
Veröffentlicht 1985

Enriching PROLOG with s-unification

von Kågedal, Andreas
Veröffentlicht 1991

Prolog for programmers

von Kluźniak, Feliks
Veröffentlicht 1985

Optimization of Timed Scenarios

von Saeedloei, Neda
Veröffentlicht in SBMF (23. : 2020 : Online) Formal methods: foundations and applications (2020)

Synthesizing Clock-Efficient Timed Automata

von Saeedloei, Neda
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Prolog for programmers

Prolog for programmers

von Kluzniak, Feliks
Veröffentlicht 1985

Prolog for programmers

von Kluzniak, Feliks
Veröffentlicht 19851986

Untangling the Graphs of Timed Automata to Decrease the Number of Clocks

von Saeedloei, Neda
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)