Negation Elimination for Finite PCFGs

DOI10.1007/11506676_8zbMath1134.68352OpenAlexW1531313866MaRDI QIDQ5458798

Taisuke Sato, Yoshitaka Kameya

Publication date: 24 April 2008

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11506676_8

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

New Advances in Logic-Based Probabilistic Modeling by PRISM

This page was built for publication: Negation Elimination for Finite PCFGs