skip to main content
Guest
e-Shelf
My Account
Sign out
Sign in
This feature requires javascript
Tags
e-Journals
e-Books
Databases
USP Libraries
Help
Help
Language:
English
Spanish
Portuguese (Brazil)
This feature required javascript
This feature requires javascript
Primo Search
General Search
General Search
Physical Collection
Physical Collections
USP Intelectual Production
USP Production
Search For:
Clear Search Box
Search in:
Physical Collection
Or hit Enter to replace search target
Or select another collection:
Search in:
Physical Collection
Advanced Search
Browse Search
This feature requires javascript
This feature requires javascript
Theoretical computer science Part B Logic, semantics and theory of programming
Amsterdam North-Holland 1991-
Online access. The library also has physical copies.
View Online
Locations & Holds
Details
Reviews & Tags
Requests
More
Open source in a new window
Actions
Add to e-Shelf
Remove from e-Shelf
E-mail
Print
Permalink
Citation
EasyBib
EndNote
RefWorks
Delicious
Export RIS
Export BibTeX
This feature requires javascript
<a href="http://www.sciencedirect.com/science?_ob=JournalURL&_cdi=5674&_auth=y&_acct=C000049650&_version=1&_urlVersion=0&_userid=972067&md5=4b60db8dad498dfbe9e676971ecbc155" target="_blank">To get to the resource you are seeking: Open source in a new window</a>
This feature requires javascript
Back to results list
Previous
Result
3
Next
This feature requires javascript
This feature requires javascript
Searching Remote Databases, Please Wait
Searching for
in
scope:(USP_FISICO)
Show me what you have so far
This feature requires javascript
This feature requires javascript
Previous
Home Page
RSS
Feed
Policies
Contact Us
Social Network Logos: 
Social Network Logos: