ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
1
views
15
references
Top references
cited by
26
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,505
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Decision problems for propositional linear logic
Author(s):
Patrick Lincoln
,
John Mitchell
,
Andre Scedrov
,
Natarajan Shankar
Publication date
Created:
April 1992
Publication date
(Print):
April 1992
Journal:
Annals of Pure and Applied Logic
Publisher:
Elsevier BV
Read this article at
ScienceOpen
Publisher
Further versions
open (via crossref license)
Powered by
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Thermal Imaging in Social Decision Making
Most cited references
15
Record
: found
Abstract
: not found
Article
: not found
Linear logic
Jean-Yves Girard
(1987)
0
comments
Cited
472
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Alternation
Ashok K. Chandra
,
Dexter Kozen
,
Larry Stockmeyer
(1981)
0
comments
Cited
112
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines
Marvin Minsky
(1961)
0
comments
Cited
64
times
– based on
0
reviews
Review now
Bookmark
All references
Author and article information
Journal
Title:
Annals of Pure and Applied Logic
Abbreviated Title:
Annals of Pure and Applied Logic
Publisher:
Elsevier BV
ISSN (Print):
01680072
Publication date Created:
April 1992
Publication date (Print):
April 1992
Volume
: 56
Issue
: 1-3
Pages
: 239-311
Article
DOI:
10.1016/0168-0072(92)90075-B
SO-VID:
3255adf2-d130-44c2-9d9b-dc223d85ffa1
Copyright ©
© 1992
License:
http://www.elsevier.com/tdm/userlicense/1.0/
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
2,505
Proposition 140: The Schabarum Initiative, Analysis of Provisions and Implications.
Authors:
R. DILLON
Sustainable Competitive Advantage in Service Industries: A Conceptual Model and Research Propositions
Authors:
Sundar G Bharadwaj
,
P. Rajan Varadarajan
,
John Fahy
Améliorer la qualité du systéme de santé et maîtriser les dépenses - propositions de l’Assurance Maladie pour
Authors:
See all similar
Cited by
24
Genomic regions associated with grain yield under drought stress in wheat (Triticum aestivum L.)
Authors:
Sanyukta Shukla
,
Kalpana Singh
,
Rajendra Patil
…
Multimodal linguistic inference
Authors:
Michael Moortgat
Linear Concurrent Constraint Programming: Operational and Phase Semantics
Authors:
Paul Ruet
,
Sylvain Soliman
,
François Fages
See all cited by
Most referenced authors
44
R Meyer
K Chandra
J Girard
See all reference authors