Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Lincoln, P.
Scedrov, A.
and
Shankar, N.
1995.
Decision problems for second-order linear logic.
p.
476.
Honda, Kohei
1996.
Abstract Process Structures (Extended Abstract).
Electronic Notes in Theoretical Computer Science,
Vol. 3,
Issue. ,
p.
89.
Everett, Anthony
1996.
A dilemma for Priest's dialethism?.
Australasian Journal of Philosophy,
Vol. 74,
Issue. 4,
p.
657.
Lincoln, Patrick D.
Mitchell, John C.
and
Scedrov, Andre
1996.
Linear Logic Proof Games and Optimization.
Bulletin of Symbolic Logic,
Vol. 2,
Issue. 3,
p.
322.
Yamaguchi, Fumihiko
and
Nakanishi, Masakazu
1996.
Induction in linear logic.
International Journal of Theoretical Physics,
Vol. 35,
Issue. 10,
p.
2107.
Bednarczyk, Marek A.
1996.
Mathematical Foundations of Computer Science 1996.
Vol. 1113,
Issue. ,
p.
192.
Lafont, Yves
1996.
The undecidability of second order linear logic without exponentials.
Journal of Symbolic Logic,
Vol. 61,
Issue. 2,
p.
541.
Moortgat, Michael
1997.
Handbook of Logic and Language.
p.
93.
Kanovich, M.
and
Ito, T.
1997.
Temporal linear logic specifications for concurrent processes.
p.
48.
Lafont, Yves
1997.
The finite model property for various fragments of linear logic.
Journal of Symbolic Logic,
Vol. 62,
Issue. 4,
p.
1202.
Emms, Martin
1997.
Logical Aspects of Computational Linguistics.
Vol. 1328,
Issue. ,
p.
168.
Retoré, Christian
1997.
Typed Lambda Calculi and Applications.
Vol. 1210,
Issue. ,
p.
300.
Lincoln, P. D.
Scedrov, A.
and
Shankar, N.
1997.
Logic and Scientific Methods.
p.
127.
Barendregt, Henk
1997.
The Impact of the Lambda Calculus in Logic and Computer Science.
Bulletin of Symbolic Logic,
Vol. 3,
Issue. 2,
p.
181.
Asperti, A.
1998.
Light affine logic.
p.
300.
Lee, Dong-Tsan
and
Tsang, C. P.
1999.
Linear logic for deductive databases.
New Generation Computing,
Vol. 17,
Issue. 2,
p.
201.
Okada, Mitsuhiro
and
Terui, Kazushige
1999.
The finite model property for various fragments of intuitionistic linear logic.
Journal of Symbolic Logic,
Vol. 64,
Issue. 2,
p.
790.
Manca, Vincenzo
1999.
Wiley Encyclopedia of Electrical and Electronics Engineering.
Cresswell, Stephen
Smaill, Alan
and
Richardson, Julian
2000.
Recent Advances in AI Planning.
Vol. 1809,
Issue. ,
p.
252.
Bottoni, Paolo
Meyer, Bernd
Marriott, Kim
and
Presicce, Francesco Parisi
2001.
Logical Aspects of Computational Linguistics.
Vol. 2099,
Issue. ,
p.
79.