Introduction of assertion check functions into the FP algebra and extended laws for asserted equations, Kazuo Ohtake
@TechReport{tit-c-65,
  author = 	 "Kazuo Ohtake",
  title = 	 "Introduction of assertion check functions into the
		  FP algebra and extended laws for asserted equations",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1985,
  number =	 "Research reports on information sciences: C-65"
}

Some properties of polynomial time truth-table complete sets, Osamu Watanabe
@TechReport{tit-c-66,
  author = 	 "Osamu Watanabe",
  title = 	 "Some properties of polynomial time truth-table
		  complete sets",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1985,
  number =	 "Research reports on information sciences: C-66"
}

A note on minimal deadlocks of Petri nets, Hideki Yamasaki
@TechReport{tit-c-67,
  author = 	 "Hideki Yamasaki",
  title = 	 "A note on minimal deadlocks of Petri nets",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1985,
  number =	 "Research reports on information sciences: C-67"
}

Relationship among some relativized time complexity classes, Masa-aki Izumi
@TechReport{tit-c-68,
  author = 	 "Masa-aki Izumi",
  title = 	 "Relationship among some relativized time complexity classes",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1985,
  number =	 "Research reports on information sciences: C-68"
}

On the semantics of infinite computations in logic programs, Yasubumi Sakakibara
@TechReport{tit-c-69,
  author = 	 "Yasubumi Sakakibara",
  title = 	 "On the semantics of infinite computations in logic programs",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1985,
  number =	 "Research reports on information sciences: C-69"
}

On hard one-way functions, Osamu Watanabe
@TechReport{tit-c-70,
  author = 	 "Osamu Watanabe",
  title = 	 "On hard one-way functions",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1985,
  number =	 "Research reports on information sciences: C-70"
}

Application and composition in functional programming, Hirofumi Yokouchi
@TechReport{tit-c-71,
  author = 	 "Hirofumi Yokouchi",
  title = 	 "Application and composition in functional programming",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1985,
  number =	 "Research reports on information sciences: C-71"
}

Qualitative relativization of problems about low level space bounded complexity classes, Masa-aki Izumi
@TechReport{tit-c-72,
  author = 	 "Masa-aki Izumi",
  title = 	 "Qualitative relativization of problems about low
		  level space bounded complexity classes",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1985,
  number =	 "Research reports on information sciences: C-72"
}

Some classes of infinite-tree languages (II), Tetsuo Moriya
@TechReport{tit-c-73,
  author = 	 "Tetsuo Moriya",
  title = 	 "Some classes of infinite-tree languages (II)",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1985,
  number =	 "Research reports on information sciences: C-73"
}

Lowness properties of sets in the exponential-time hierarchy, Ronald Book, et. al.
@TechReport{tit-c-74,
  author = 	 "Ronald Book, et. al.",
  title = 	 "Lowness properties of sets in the exponential-time
		  hierarchy",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1986,
  number =	 "Research reports on information sciences: C-74"
}

Modelling and programming in an object oriented concurrent language ABCL/1, Akinori Yonezawa, et. al.
@TechReport{tit-c-75,
  author = 	 "Akinori Yonezawa, et. al.",
  title = 	 "Modelling and programming in an object oriented
		  concurrent language ABCL/1",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1986,
  number =	 "Research reports on information sciences: C-75"
}

Distributed computing in ABCL/1, Etsuya Shibayama, Akinori Yonezawa
@TechReport{tit-c-76,
  author = 	 "Etsuya Shibayama, Akinori Yonezawa",
  title = 	 "Distributed computing in ABCL/1",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1986,
  number =	 "Research reports on information sciences: C-76"
}

Brzozowski hierarchy of $\omega$-languages, Masako Takahashi
@TechReport{tit-c-77,
  author = 	 "Masako Takahashi",
  title = 	 "Brzozowski hierarchy of {$\omega$}-languages",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1986,
  key =          "Brzozowski hierarchy of -languages",
  number =	 "Research reports on information sciences: C-77"
}

On the probability that a randomly selected set is NP-hard, Kojiro Kabayashi
@TechReport{tit-c-78,
  author = 	 "Kojiro Kabayashi",
  title = 	 "On the probability that a randomly selected set is NP-hard",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1986,
  number =	 "Research reports on information sciences: C-78"
}

Some observations of k-creative sets, Osamu Watanabe
@TechReport{tit-c-79,
  author = 	 "Osamu Watanabe",
  title = 	 "Some observations of k-creative sets",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1986,
  number =	 "Research Reports on Information Sciences: C-79"
}

A recursion-theoretic proof of Hausdorff's theorem on ambiguous borel sets, Kazuyuki Tanaka
@TechReport{tit-c-80,
  author = 	 "Kazuyuki Tanaka",
  title = 	 "A recursion-theoretic proof of Hausdorff's theorem
		  on ambiguous borel sets",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1986,
  number =	 "Research Reports on Information Sciences: C-80"
}

Power-domains : Topological characterizations and retract theorem, Yasuhiko Toshinaga
@TechReport{tit-c-81,
  author = 	 "Yasuhiko Toshinaga",
  title = 	 "Power-domains : Topological characterizations and
		  retract theorem",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1987,
  number =	 "Research Reports on Information Sciences: C-81"
}

Parallel reductions in $\lambda$-calculus, Masako Takahashi
@TechReport{tit-c-82,
  author = 	 "Masako Takahashi",
  title = 	 "Parallel reductions in {$\lambda$}-calculus",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1986,
  key =          "Parallel reductions in -calculus",
  number =	 "Research Reports on Information Sciences: C-82"
}

The stable marriage assignment and related problems, Satoshi Menju
@TechReport{tit-c-83,
  author = 	 "Satoshi Menju",
  title = 	 "The stable marriage assignment and related problems",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1987,
  number =	 "Research Reports on Information Sciences: C-83"
}

On weekly continuous $\lambda$-models, Hiroto Inaba
@TechReport{tit-c-84,
  author = 	 "Hiroto Inaba",
  title = 	 "On weekly continuous {$\lambda$}-models",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1987,
  key =          "On weekly continuous -models",
  number =	 "Research Reports on Information Sciences: C-84"
}

A note on zero-knowledge proof for the discrete logarithm problem, Kentaro Kizaki
@TechReport{tit-c-85,
  author = 	 "Kentaro Kizaki",
  title = 	 "A note on zero-knowledge proof for the discrete
		  logarithm problem",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1987,
  number =	 "Research Reports on Information Sciences: C-85"
}

Ramsey theorem and set existence axioms, Kazuyuki Tanaka
@TechReport{tit-c-86,
  author = 	 "Kazuyuki Tanaka",
  title = 	 "Ramsey theorem and set existence axioms",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1987,
  number =	 "Research Reports on Information Sciences: C-86"
}

A new approach to parallel parsing for context-free grammars, Akinori Yonezawa, Ichiro Ohsawa
@TechReport{tit-c-87,
  author = 	 "Akinori Yonezawa, Ichiro Ohsawa",
  title = 	 "A new approach to parallel parsing for context-free
		  grammars",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1987,
  number =	 "Research Reports on Information Sciences: C-87"
}

A primality criteria based on an improvement of Lenstra's residue class algorithm, Mitsunori Ogiwara
@TechReport{tit-c-88,
  author = 	 "Mitsunori Ogiwara",
  title = 	 "A primality criteria based on an improvement of
		  Lenstra's residue class algorithm",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1987,
  number =	 "Research Reports on Information Sciences: C-88"
}

A note on collapsing bounded query classes, Masa-aki Izumi, Kojiro Kobayashi
@TechReport{tit-c-89,
  author = 	 "Masa-aki Izumi, Kojiro Kobayashi",
  title = 	 "A note on collapsing bounded query classes",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1988,
  number =	 "Research Reports on Information Sciences: C-89"
}

Relativizing the P =? NP problem with restricted oracles, Masa-aki Izumi
@TechReport{tit-c-90,
  author = 	 "Masa-aki Izumi",
  title = 	 "Relativizing the P =? NP problem with restricted oracles",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1988,
  number =	 "Research Reports on Information Sciences: C-90"
}

On unsolvable lambda-terms, Masako Takahashi
@TechReport{tit-c-91,
  author = 	 "Masako Takahashi",
  title = 	 "On unsolvable lambda-terms",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1989,
  number =	 "Research Reports on Information Sciences: C-91"
}

A computational model of an intelligent agent who talks with a person, Ichiro Ohsawa, Akinori Yonezawa
@TechReport{tit-c-92,
  author = 	 "Ichiro Ohsawa, Akinori Yonezawa",
  title = 	 "A computational model of an intelligent agent who
		  talks with a person",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1989,
  number =	 "Research Reports on Information Sciences: C-92"
}

A method for generating cryptographically strong primes, Mitsunori Ogiwara
@TechReport{tit-c-93,
  author = 	 "Mitsunori Ogiwara",
  title = 	 "A method for generating cryptographically strong primes",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1989,
  number =	 "Research Reports on Information Sciences: C-93"
}

Paddable sets in number theory, Mitsunori Ogiwara
@TechReport{tit-c-94,
  author = 	 "Mitsunori Ogiwara",
  title = 	 "Paddable sets in number theory",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1989,
  number =	 "Research Reports on Information Sciences: C-94"
}

On polynomial bounded truth-table reducibility of NP sets to sparse sets, Mitsunori Ogiwara, Osamu Watanabe
@TechReport{tit-c-95,
  author = 	 "Mitsunori Ogiwara, Osamu Watanabe",
  title = 	 "On polynomial bounded truth-table reducibility of NP
		  sets to sparse sets",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1989,
  number =	 "Research Reports on Information Sciences: C-95"
}

Worst-case analysis of Ziv-Lempel information compression algorithm, Kojiro Kabayashi, Hitoshi Iwamoto
@TechReport{tit-c-96,
  author = 	 "Kojiro Kabayashi, Hitoshi Iwamoto",
  title = 	 "Worst-case analysis of Ziv-Lempel information
		  compression algorithm",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1990,
  number =	 "Research Reports on Information Sciences: C-96"
}

A game-theoretic proof of analytic Ramsey theorem, Kazuyuki Tanaka
@TechReport{tit-c-97,
  author = 	 "Kazuyuki Tanaka",
  title = 	 "A game-theoretic proof of analytic Ramsey theorem",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1990,
  number =	 "Research Reports on Information Sciences: C-97"
}

On one-word decreasing self-reducible sets, Mitsunori Ogiwara, Anotoni Lozano
@TechReport{tit-c-98,
  author = 	 "Mitsunori Ogiwara, Anotoni Lozano",
  title = 	 "On one-word decreasing self-reducible sets",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1990,
  number =	 "Research Reports on Information Sciences: C-98"
}

A complexity theory for closure properties, Mitsunori Ogiwara, Lane A. Hemachandra
@TechReport{tit-c-99,
  author = 	 "Mitsunori Ogiwara, Lane A. Hemachandra",
  title = 	 "A complexity theory for closure properties",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1990,
  number =	 "Research Reports on Information Sciences: C-99"
}

Cut-elimination theorem for the intermediate logic CD, Ryo Kashima
@TechReport{tit-c-100,
  author = 	 "Ryo Kashima",
  title = 	 "Cut-elimination theorem for the intermediate logic CD",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1991,
  number =	 "Research Reports on Information Sciences: C-100"
}

Characterizing low levels of the polynomial-time hierarchy relative to C$_=$P via metric turing machines, Mitsunori Ogiwara
@TechReport{tit-c-101,
  author = 	 "Mitsunori Ogiwara",
  title = 	 "Characterizing low levels of the polynomial-time
		  hierarchy relative to C{$_{=}$}P via metric turing machines",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1991,
  key =          "Characterizing low levels of the polynomial-time
		  hierarchy relative to C=P via metric turing machines",
  number =	 "Research Reports on Information Sciences: C-101"
}

, Kojiro Kobayashi
@TechReport{tit-c-102,
  author = 	 "Kojiro Kobayashi",
  title = 	 "{$\sum_{n}^{0}$}-complete properties of programs and
		  Martin-L{\"{o}}f randomness",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1991,
  key =          "{$_{n}^{0}$}-complete properties of programs and
		  Martin-Lof randomness",
  number =	 "Research Reports on Information Sciences: C-102"
}

Parallel reductions in $\lambda$-calculus (revised version), Masako Takahashi
@TechReport{tit-c-103,
  author = 	 "Masako Takahashi",
  title = 	 "Parallel reductions in {$\lambda$}-calculus (revised
		  version)",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1992,
  key =          "Parallel reductions in -calculus (revised version)",
  number =	 "Research Reports on Information Sciences: C-103"
}

On Malign input distributions for algorithms, Kojiro Kobayashi
@TechReport{tit-c-104,
  author = 	 "Kojiro Kobayashi",
  title = 	 "On Malign input distributions for algorithms",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1992,
  number =	 "Research Reports on Information Sciences: C-104"
}

$\lambda$-calculi with conditional rules, Masako Takahashi
@TechReport{tit-c-105,
  author = 	 "Masako Takahashi",
  title = 	 "{$\lambda$}-calculi with conditional rules",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1992,
  key =          "-calculi with conditional rules",
  number =	 "Research Reports on Information Sciences: C-105"
}

Contraction-elimination for Gentzen's sequent calculi, Ryo Kashima
@TechReport{tit-c-106,
  author = 	 "Ryo Kashima",
  title = 	 "Contraction-elimination for Gentzen's sequent calculi",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1993,
  number =	 "Research Reports on Information Sciences: C-106"
}

Rie, a compiler generator based on a one-pass attribute grammar, Masataka Sassa, Harushi Ishizuka, Ikuo Nakata
@TechReport{tit-c-107,
  author = 	 "Masataka Sassa, Harushi Ishizuka, Ikuo Nakata",
  title = 	 "Rie, a compiler generator based on a one-pass
		  attribute grammar",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1993,
  number =	 "Research Reports on Information Sciences: C-107"
}

On coding theorems with modified length functions, Kojiro Kabayashi
@TechReport{tit-c-108,
  author = 	 "Kojiro Kabayashi",
  title = 	 "On coding theorems with modified length functions",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1993,
  number =	 "Research Reports on Information Sciences: C-108"
}

On some bounds for zeros of norm-bounded polynomials, Osami Yamamoto
@TechReport{tit-c-109,
  author = 	 "Osami Yamamoto",
  title = 	 "On some bounds for zeros of norm-bounded polynomials",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1993,
  number =	 "Research Reports on Information Sciences: C-109"
}

Normal proofs and their grammar, M. Takahashi, Y. Akama, S. Hirokawa
@TechReport{tit-c-110,
  author = 	 "M. Takahashi, Y. Akama, S. Hirokawa",
  title = 	 "Normal proofs and their grammar",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1993,
  number =	 "Research Reports on Information Sciences: C-110"
}

A study on inhabitation of intersection types, T. Kurata, M. Takahashi
@TechReport{tit-c-111,
  author = 	 "T. Kurata, M. Takahashi",
  title = 	 "A study on inhabitation of intersection types",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1994,
  number =	 "Research Reports on Information Sciences: C-111"
}

A new proof of Landau's inequality by the analysis of distributions of zeros of polynomials, Osami Yamamoto
@TechReport{tit-c-112,
  author = 	 "Osami Yamamoto",
  title = 	 "A new proof of Landau's inequality by the analysis
		  of distributions of zeros of polynomials",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1994,
  number =	 "Research Reports on Information Sciences: C-112"
}

Kolmogorov complexity and the second incompleteness theorem, Makoto Kikuchi
@TechReport{tit-c-113,
  author = 	 "Makoto Kikuchi",
  title = 	 "Kolmogorov complexity and the second incompleteness
		  theorem",
  institution =  "Department of Information Science, Tokyo Institute of
		  Technology",
  year = 	 1994,
  number =	 "Research Reports on Information Sciences: C-113"
}

The Kolmogorov complexity, the universal distribution and the coding theorem with generalized length functions, Kojiro Kobayashi
@TechReport{tit-c-115,
  author = 	 "Kojiro Kobayashi",
  title = 	 "The Kolmogorov complexity, the universal
		  distribution and the coding theorem with generalized
		  length functions",
  institution =  "Department of Mathematical and Computing
		  Sciences, Tokyo Institute of Technology",
  year = 	 1995,
  number =	 "Research Reports on Mathematical and Computing
		  Sciences: C-115"
}

Transformations that preserve malignness of unibersal distributions, Kojiro Kobayashi
@TechReport{tit-c-116,
  author = 	 "Kojiro Kobayashi",
  title = 	 "Transformations that preserve malignness of
		  unibersal distributions",
  institution =  "Department of Mathematical and Computing
		  Sciences, Tokyo Institute of Technology",
  year = 	 1995,
  number =	 "Research Reports on Mathematical and Computing
		  Sciences: C-116"
}

Systematic debugging method for attribute grammar description, Masataka Sassa, Takuya Ookubo
@TechReport{tit-c-117,
  author = 	 "Masataka Sassa, Takuya Ookubo",
  title = 	 "Systematic debugging method for attribute grammar
		  description",
  institution =  "Department of Mathematical and Computing
		  Sciences, Tokyo Institute of Technology",
  year = 	 1995,
  number =	 "Research Reports on Mathematical and Computing
		  Science: C-117"
}

Concurrent transactions and communicators: Extensible synchronization mechanisms for distributed programming, Ken wakita and Yoshiki Ohshima
@TechReport{tit-c-118,
  author = 	 "Ken wakita and Yoshiki Ohshima",
  title = 	 "Concurrent transactions and communicators:
		  Extensible synchronization mechanisms for
		  distributed programming",
  institution =  "Department of Mathematical and Computing
		  Sciences, Tokyo Institute of Technology",
  year = 	 1995,
  number =	 "Research Reports on Mathematical and Computing
		  Science: C-118"
}