scientific article; zbMATH DE number 4180778

MaRDI QIDQ3204030zbMATH OpenFDO

Authors Pierre Deransart, Jan Maluszyński

Publication date 1989

zbMATH Keywords

logic programmingdefinite clause grammarsrelational attribute grammarW-grammars

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 870438
• Publication:4896257
• scientific article; zbMATH DE number 42778
• scientific article; zbMATH DE number 936828
• A framework for linguistic logic programming
• Grammar-related transformations of logic programs
• scientific article; zbMATH DE number 177436
• scientific article; zbMATH DE number 978245
• scientific article; zbMATH DE number 26616
• An approach to natural-language semantics in logic programming

Cited in

(9)

• scientific article; zbMATH DE number 1696872 (Why is no real title available?)
• scientific article; zbMATH DE number 1822447 (Why is no real title available?)
• scientific article; zbMATH DE number 936828 (Why is no real title available?)
• scientific article; zbMATH DE number 3957069 (Why is no real title available?)
• A framework for linguistic logic programming
• scientific article; zbMATH DE number 42778 (Why is no real title available?)
• scientific article; zbMATH DE number 569780 (Why is no real title available?)
• Proof methods of declarative properties of definite programs
• scientific article; zbMATH DE number 177436 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204030)