International Workshop on Implicit Computation Complexity
Edit Page
Report
Scan day: 16 February 2014 UTC
13
Virus safety - good
Description: Webpages of past and forthcoming ICC conferences and related meetings. Next meeting as a satellite workshop of LICS'03: Ottawa, Canada; 26--27 June 2003.
Logic and Computation Complexity Logic and Computational Complexity The Logic and Computational Complexity Workshop concerns the theory and application of logic-based, machine-independent approaches to computational complexity. These approaches have opened new ways of incorporating aspects of computational complexity into areas such as formal methods in software development, programming language design, and database theory.
Size: 427 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Logic and Computation Complexity |
| Keywords: | |
| Description: | |
| IP-address: | 128.230.208.76 |
WHOIS Info
| NS | Name Servers: LURCH.CNS.SYR.EDU 128.230.12.5 ICARUS.SYR.EDU 128.230.1.49 |
| WHOIS | |
| Date | activated: 02-Sep-1986 last updated: 12-Jun-2013 expires: 31-Jul-2014 |