FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Decidable Linear Tree Constraints - Extended Abstract

Author: Sabine Bauer

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Decidable Linear Tree Constraints - Extended Abstract
Authors:Sabine Bauer
Proceedings:LaSh AllTalks
Editor: David Mitchell
Keywords:
Abstract:
Pages:4
Paper: