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.
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.
Honda, Kohei
1996.
Abstract Process Structures (Extended Abstract).
Electronic Notes in Theoretical Computer Science,
Vol. 3,
Issue. ,
p.
89.
Lafont, Yves
1996.
The undecidability of second order linear logic without exponentials.
Journal of Symbolic Logic,
Vol. 61,
Issue. 2,
p.
541.
Bednarczyk, Marek A.
1996.
Mathematical Foundations of Computer Science 1996.
Vol. 1113,
Issue. ,
p.
192.
Yamaguchi, Fumihiko
and
Nakanishi, Masakazu
1996.
Induction in linear logic.
International Journal of Theoretical Physics,
Vol. 35,
Issue. 10,
p.
2107.
Everett, Anthony
1996.
A dilemma for Priest's dialethism?.
Australasian Journal of Philosophy,
Vol. 74,
Issue. 4,
p.
657.
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.
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.
Moortgat, Michael
1997.
Handbook of Logic and Language.
p.
93.
Lafont, Yves
1997.
The finite model property for various fragments of linear logic.
Journal of Symbolic Logic,
Vol. 62,
Issue. 4,
p.
1202.
Kanovich, M.
and
Ito, T.
1997.
Temporal linear logic specifications for concurrent processes.
p.
48.
Asperti, A.
1998.
Light affine logic.
p.
300.
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.
Lee, Dong-Tsan
and
Tsang, C. P.
1999.
Linear logic for deductive databases.
New Generation Computing,
Vol. 17,
Issue. 2,
p.
201.
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.