Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 1420825

From MaRDI portal
Jump to:navigation, search

zbMATH Open0949.68037MaRDI QIDQ4944893FDOQ4944893


Authors: François Fages, Massimo Paltrinieri Edit this on Wikidata


Publication date: 22 March 2000



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



Recommendations

  • Typing constraint logic programs
  • HM(X) type inference is CLP(X) solving
  • Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
  • Recent Advances in Constraints
  • A type system for logic programs


zbMATH Keywords

constraint logic programming


Mathematics Subject Classification ID

Logic programming (68N17)



Cited In (4)

  • Typing constraint logic programs
  • HM(X) type inference is CLP(X) solving
  • Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
  • Recent Advances in Constraints





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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4944893&oldid=19363026"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 07:58. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki