scientific article; zbMATH DE number 194205

MaRDI QIDQ4040998zbMATH OpenFDO

Authors

Publication date 5 June 1993

zbMATH Keywords

Computer scienceConvegnoLogicProceedingsVilla Gualino (Italy)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(7)

• Query languages for hierarchic databases
• Coherent interaction graphs
• Zeta functions and the (linear) logic of Markov processes
• Logic programming with multiplicative structures
• Interaction graphs: multiplicatives
• Linear realisability over nets: multiplicatives
• Interaction graphs: additives

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