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

scientific article; zbMATH DE number 879003

From MaRDI portal
Publication:4878772
Jump to:navigation, search

zbMATH Open0847.68018MaRDI QIDQ4878772

Catuscia Palamidessi, Frank S. de Boer

Publication date: 14 May 1996



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


zbMATH Keywords

Could not fetch data.


Mathematics Subject Classification ID

Logic programming (68N17)



Related Items (10)

Bounded-wait merge in Shapiro's concurrent Prolog ⋮ Past and present (and future) of parallel and distributed computation in (constraint) logic programming ⋮ Confluence in concurrent constraint programming ⋮ Efficient analysis of concurrent constraint logic programs ⋮ Title not available (Why is that?) ⋮ Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ Title not available (Why is that?)






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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4878772&oldid=19246217"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 05:53.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki