FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Modeling Terms by Graphs with Structure Constraints (Two Illustrations)

Author: Clemens Grabmayer

Paper Information

Title:Modeling Terms by Graphs with Structure Constraints (Two Illustrations)
Authors:Clemens Grabmayer
Proceedings:TERMGRAPH Pre-proceedings
Editors: Maribel Fernandez and Ian Mackie
Keywords:
Abstract:
Pages:3
Paper: