Examples of Search Queries

The search queries are case insensitive.

intuitionistic: All entries containing the string intuitionistic.
author.*andrews: All entries containing andrews in the author field.
author.*(andrews|pfenning): All entries containing andrews or pfenning in the author field.

Because ordinary perl regular expressions are used, there is no easy way to ask for intersections of searches at present. You may have to download the Bibtex files and search with your favorite search tool.

Back to the Logic Bibliography at CMU.

Maintained by Andrej Bauer, last change 12/7/2000.