No label defined (Q5015208)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7439426

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7439426

Statements

scholarly article

0 references

zbMATH Open document ID

0 references

Kaustuv Chaudhuri

0 references

publication date

6 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1502.04769

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2014.1

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

Logic Programming with Focusing Proofs in Linear Logic

0 references

Classical and Intuitionistic Subexponential Logics Are Equally Expressive

0 references

A logical characterization of forward and backward chaining in the inverse method

0 references

Focusing and polarization in linear, intuitionistic, and classical logics

0 references

Decision problems for propositional linear logic

0 references

From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic

0 references

Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines

0 references

On the Complexity of Linear Authorization Logics

0 references

A General Proof System for Modalities in Concurrent Constraint Programming

0 references

Specifying Proof Systems in Linear Logic with Subexponentials

0 references

Structural Focalization

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5015208

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5015208&oldid=36746052"