scientific article; zbMATH DE number 516984

zbMATH Open0793.68024MaRDI QIDQ4282500FDOQ4282500

Authors: Jonas Barklund, Johan Bevemyr 

Publication date: 17 March 1994

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1954107
• Bounded quantifications for iteration and concurrency in logic programming
• Flat Parlog: A basis for comparison
• scientific article; zbMATH DE number 1337623
• scientific article; zbMATH DE number 512900

zbMATH Keywords

Prologlogic programsbounded quantifications

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (2)

• Title not available (Why is that?)
• Bounded quantifications for iteration and concurrency in logic programming

Uses Software

• Miranda

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 Q4282500)