%0 Report %1 McCarthy1994Formalizing %A McCarthy, John %A Buvac, Sasa %D 1994 %K context %N CS-TN-94-13 %T Formalizing Context (Expanded Notes)

@techreport{McCarthy1994Formalizing, added-at = {2009-02-13T13:32:50.000+0100}, author = {McCarthy, John and Buva\v{c}, Sa\v{s}a}, biburl = {https://www.bibsonomy.org/bibtex/2efc4d904f934c2cc99820bf76df87983/casi}, institution = {Stanford University Stanford, CA, USA}, interhash = {7498072cd19e4fef010984514cee06e2}, intrahash = {efc4d904f934c2cc99820bf76df87983}, keywords = {context}, number = {CS-TN-94-13}, owner = {casi}, timestamp = {2009-07-13T11:12:42.000+0200}, title = {Formalizing Context (Expanded Notes)}, year = 1994 }