Completion for Logically Constrained Rewriting

Conference proceeding

Peer reviewed

Sarah Maria Winkler and Aart Middeldorp

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, pp.30:1-30:18

Leibniz International Proceedings in Informatics : LIPIcs

3rd International Conference on Formal Structures for Computation and Deduction (Oxford, 09/07/2018–12/07/2018)

2018

Handle:

https://hdl.handle.net/10863/52689

Files and links (1)

url

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.30View

Title: Completion for Logically Constrained Rewriting
Creators: Sarah Maria Winkler - Universität Innsbruck
Aart Middeldorp - Universität Innsbruck
Publication Details: Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, pp.30:1-30:18
Editor(s): Kirchner H
ISBN: 9783959770774
EISSN: 1868-8969
Conference: 3rd International Conference on Formal Structures for Computation and Deduction (Oxford, 09/07/2018–12/07/2018)
Series / Volume: Leibniz International Proceedings in Informatics : LIPIcs
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Format: Online
Number of pages: 18
Identifiers: 978-395977077-4
(UNIBZ)70707508
991006785793701241
Scopus ID: 2-s2.0-85049772807
Academic Unit: Faculty of Engineering
Language: English
Resource Type: Conference proceeding
Author Names String: Winkler S, Middeldorp A
Additional Description: Editors/Supervisors: Kirchner H
description: Record is part of a bulk validation set

1 Record Views