Searching for authors named Sunil Issar – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Estimation of Language Models for New Spoken Language Applications
- … to communicate in a Estimation of Language Models for New Spoken Language Applications Sunil Issar School…
- Cited by 4 (0 self) – Add To MetaCart
-
TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory
- … , Matthew Bishop , Sunil Issar , 2 1 1 Dan Nesmith , Frank Pfenning , Hongwei Xi Contact: Peter B. Andrews…
- Cited by 1 (1 self) – Add To MetaCart
-
ETPS: A System to Help Students Write Formal Proofs
- …@(email omitted);) Carnegie Mellon University Sunil Issar Frank Pfenning (fp@(email omitted);) Carnegie Mellon University Hongwei…
- Cited by 5 (1 self) – Add To MetaCart
-
TPS: A Theorem-Proving System for Classical Type Theory
- … , SUNIL ISSAR b , DAN NESMITH c , FRANK PFENNING d and HONGWEI XI a a Mathematics Department, Carnegie…
- Cited by 9 (0 self) – Add To MetaCart
-
tps: A theorem proving system for classical type theory
- … , Sunil Issar 3 , Dan Nesmith 4 , Frank Pfenning 5 , Hongwei Xi 6 Abstract This is a description of TPS, a…
- Cited by 62 (4 self) – Add To MetaCart
Showing 1 through 5.
