Statistics
Publications
5
Citations
652
H-Index
5
Active since
1993
Affiliations
Stanford University(Current)
Saša Buvač is an author at Stanford University specializing in computer science, logic, and formal semantics.
Publications per year
1993–1996
5
5
Formalizing Context (Expanded Notes)
John McCarthy, Saša Buvač · CogPrints (University of Southampton) · 1994 · 257 citations
Propositional logic of context
Saša Buvač, Ian A. Mason · 1993 · 151 citations
Saša Buvač, Vanja Buvač, Ian A. Mason · Fundamenta Informaticae · 1995 · 119 citations · Full text
Quantificational logic of context
Saša Buvač · 1996 · 93 citations
A declarative formalization of knowledge translation
Saša Buvač, Richard Fikes · 1995 · 32 citations · Full text
1–5 of 5