Simulating Parity Reasoning

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Title of host publication19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013
Publication statusPublished - 2013
MoE publication typeA4 Article in a conference publication

Publication series

NameLecture Notes in Computer Science
Volume8312

ID: 643489