Stanford University. Center for the Study of Language and Information

ID:DA01641532

Alias Name

CSLI

SRI International. Center for the Study of Language and Information

Center for the Study of Language and Information (U.S.)

Xerox PARC (Firm). Center for the Study of Language and Information

Search authors sharing the same name

Search Results161-180 of 186

  • An internal semantics for model logic : preliminary report

    by Ronald Fagin and Moshe Vardi

    Center for the Study of Language and Information 1985 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-25

    Available at 2 libraries

  • Computationally relevant properties of national languages and their grammars

    by Gerald Gozdar and Geoffrey K. Pullum

    Center for the Study of Language and Information 1985 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-24

    Available at 2 libraries

  • Querying logical databases

    by Moshe Vardi

    Center for the Study of Language and Information 1985 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-85-23

    Available at 2 libraries

  • Principles of OBJ2

    by Kokichi Futatsugi ... [et al.]

    Center for the Study of Language and Information 1985 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-85-22

    Available at 2 libraries

  • The situation in logic II : conditions and conditional information

    by Jon Barwise

    Center for the Study of Language and Information 1985 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-85-21

    Available at 2 libraries

  • Aspectual classes in situation semantics

    by Robin Cooper

    Center for the Study of Language and Information 1985 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-14C

    Available at 1 libraries

  • The situation in logic-III : situations, sets and the axiom of foundation

    Jon Barwise

    Center for the Study of Language and Information, 1985 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-85-26

    Available at 3 libraries

  • The Center for the Study of Language and Information

    Center for the Study of Language and Information (CSLI) c1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-16

    Available at 2 libraries

  • Coordination and how to distinguish categories

    by Ivan A. Sag...[et al.]

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-3

    Available at 1 libraries

  • A simple and efficient implementatin of higher-order functions in LISP

    by Michael P. Georgeff and Stephen F. Bodnar

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-19

    Available at 1 libraries

  • On the mathematical properties of linguistic theories

    by C. Raymond Perrault

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-18

    Available at 3 libraries

  • Moving the semantic fulcrum

    Terry Winograd

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-17

    Available at 2 libraries

  • Completeness of many-sorted equational logic

    by J.A. Goguen and J. Meseguer

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-15

    Available at 2 libraries

  • Shifting situations and shaken attitudes

    Jon Barwise and John Perry

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-13

    Available at 1 libraries

  • Parameterized programming

    by Josph Goguen

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-10

    Available at 2 libraries

  • The implementation of procedurally reflective languages

    by Jim des Rivières and Brian Cantwell Smith

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-9

    Available at 2 libraries

  • Reflection and semantics in LISP

    by Brian Cantwell Smith

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-8

    Available at 2 libraries

  • Self-propagating search : a unified theory of memory

    by Pentti Kanerva

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-7

    Available at 2 libraries

  • Lessons from Bolzano

    by Johan van Benthem

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-6

    Available at 2 libraries

  • Equality, types, modules and generics for logic programing

    by Joseph A. Goguen and José Meseguer

    Center for the Study of Language and Information 1984 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-84-5

    Available at 2 libraries

Search this author

Page Top