Options
Effective Normalization Techniques for HOL
Wisniewski, Max; Steen, Alexander; Kern, Kim; u. a. (2016): Effective Normalization Techniques for HOL, in: Nicola Olivetti, Ashish Tiwari, Nicola Olivetti, u. a. (Hrsg.), Automated Reasoning — 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings, Cham: Springer International Publishing, S. 362–370, doi: 10.1007/978-3-319-40229-1_25.
Faculty/Chair:
Author:
Title of the compilation:
Automated Reasoning — 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Editors:
Olivetti, Nicola
Tiwari, Ashish
Conference:
8th International Joint Conference, IJCAR 2016, June 27 – July 2, 2016 ; Coimbra, Portugal
Publisher Information:
Year of publication:
2016
Pages:
ISBN:
978-3-319-40228-4
9783319402291
Series ; Volume:
Lecture Notes in Computer Science ; 9706
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
Activation date:
July 27, 2023
Permalink
https://fis.uni-bamberg.de/handle/uniba/89739