DE eng

Search in the Catalogues and Directories

Hits 1 – 6 of 6

1
Superposition for Lambda-Free Higher-Order Logic
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.inria.fr/hal-03485227 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), ⟨10.23638/LMCS-17(2:1)2021⟩ (2021)
BASE
Show details
2
Superposition for Lambda-Free Higher-Order Logic ...
BASE
Show details
3
Superposition for Lambda-Free Higher-Order Logic ...
BASE
Show details
4
Superposition for Lambda-Free Higher-Order Logic
In: IJCAR 2018 - 9th International Joint Conference on Automated Reasoning ; https://hal.inria.fr/hal-01904595 ; IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom (2018)
BASE
Show details
5
Extending Sledgehammer with SMT Solvers
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 51 (2013) 1, 109-128
OLC Linguistik
Show details
6
Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 43 (2009) 1, 1-18
OLC Linguistik
Show details

Catalogues
0
0
2
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
4
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern