There is no fulltext present in this item.

Find Full text  
Title: A Formalisation of Consistent Consequence for Boolean Equation Systems
Author(s): Delft, M. van; Geuvers, H. ; Willemse, T.A.C.
Publication year: 2017
In: Lecture Notes in Computer Science, (2017)Ayala-Rincón, M.; Muñoz, C.A. (ed.), Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings, pp. 462-478
Publisher: Cham : Springer International Publishing
ISBN: 9783319661070
ISSN: 0302-9743
DOI: https://doi.org/10.1007/978-3-319-66107-0_29
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/178448   https://hdl.handle.net/2066/178448

Display more details
Editor(s): Ayala-Rincón, M.; Muñoz, C.A.
Subject: Software Science
Organization: Software Science
Journal title:
Lecture Notes in Computer Science
Book title: Ayala-Rincón, M.; Muñoz, C.A. (ed.), Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Page start: p. 462
Page end: p. 478

This item appears in the following Collection(s)

Browse

Statistics