3 Search Results for "Nerode, Anil"

Abstract

Cite as

Ker-I Ko, Anil Nerode, and Klaus Weihrauch. Computability and Complexity in Analysis (Dagstuhl Seminar 99461). Dagstuhl Seminar Report 259, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000)

@TechReport{ko_et_al:DagSemRep.259,
  author =	{Ko, Ker-I and Nerode, Anil and Weihrauch, Klaus},
  title =	{{Computability and Complexity in Analysis (Dagstuhl Seminar 99461)}},
  pages =	{1--20},
  ISSN =	{1619-0203},
  year =	{2000},
  type = 	{Dagstuhl Seminar Report},
  number =	{259},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.259},
  URN =		{urn:nbn:de:0030-drops-151448},
  doi =		{10.4230/DagSemRep.259},
}

Abstract

Cite as

Ker-I Ko, Anil Nerode, and Klaus Weihrauch. Computability and Complexity in Analysis (Dagstuhl Seminar 9717). Dagstuhl Seminar Report 176, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)

@TechReport{ko_et_al:DagSemRep.176,
  author =	{Ko, Ker-I and Nerode, Anil and Weihrauch, Klaus},
  title =	{{Computability and Complexity in Analysis (Dagstuhl Seminar 9717)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{176},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.176},
  URN =		{urn:nbn:de:0030-drops-150630},
  doi =		{10.4230/DagSemRep.176},
}

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-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.73},
  URN =		{urn:nbn:de:0030-drops-149616},
  doi =		{10.4230/DagSemRep.73},
}