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 2120362

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

zbMATH Open1051.03003MaRDI QIDQ4829655FDOQ4829655


Authors:


Publication date: 30 November 2004



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



Recommendations

  • scientific article; zbMATH DE number 785051
  • scientific article; zbMATH DE number 771635
  • scientific article; zbMATH DE number 1104361
  • Linear logic as a logic of computations
  • scientific article; zbMATH DE number 700793
  • Linear logic in computer science
  • Applications of Linear Logic to Computation: An Overview
  • scientific article
  • Proceedings of the second joint international workshop on linearity \& trends in linear logic and applications, Linearity-TLLA, online, June 29--30, 2020
  • scientific article; zbMATH DE number 4172924


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 (1)

  • Extensions of Lambek calculi





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

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