Search Results

Abstract

Cite as

Daniele Mundici, Peter H. Schmitt, and Lotfi Zadeh. Multiple Valued Logic (Dagstuhl Seminar 9744). Dagstuhl Seminar Report 194, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)

@TechReport{mundici_et_al:DagSemRep.194,
  author =	{Mundici, Daniele and Schmitt, Peter H. and Zadeh, Lotfi},
  title =	{{Multiple Valued Logic (Dagstuhl Seminar 9744)}},
  pages =	{1--29},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{194},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.194},
  URN =		{urn:nbn:de:0030-drops-150805},
  doi =		{10.4230/DagSemRep.194},
}

Abstract

Cite as

Victor Marek, Anil Nerode, and Peter H. Schmitt. Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338). Dagstuhl Seminar Report 73, pp. 1-36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1993)

@TechReport{marek_et_al:DagSemRep.73,
  author =	{Marek, Victor and Nerode, Anil and Schmitt, Peter H.},
  title =	{{Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338)}},
  pages =	{1--36},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{73},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.73},
  URN =		{urn:nbn:de:0030-drops-149616},
  doi =		{10.4230/DagSemRep.73},
}