WestminsterResearch

WestminsterResearch will not be accepting deposits until 9th March 2015. This is to allow for a system upgrade and server migration.

Items where Author is Westerstahl, Dag

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Jump to: 2008
Number of items: 1.

2008

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2008) Automating natural deduction for temporal logic. In: Glymour, Clark and Wang, Wei and Westerstahl, Dag, (eds.) Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science. Kings College Publications.

This list was generated on Sun Mar 1 20:44:31 2015 GMT.