[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Guerevich87
  1. Yuri Guerevich
  2. Logic and the Challenge of Computer Science
  3. pp1-57 in Borger88
      Note "For years formal languages were in the private domain of logicians. But what formal language is most popular today?[...] The most popular formal languages are programming languages. Another kind of popular formal languages are database query languages. Some other formal languages emerge in artificial intelligence like languages for knowledge representation. Old discussions on names, denotations, types, etc. are suddenly revitalised to unprecedented magnitude"(p1),"no first order formula φ expresses on finite graphs that (x,y) belongs to the transitive closure of the edge relation"(pp3-4).


Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]