|
Sign up
|
|
Automatic website change logs and notification
|
|
|
|
|
|
|
|
|
|
|
|
|
Publications - Laboratory for Foundations of Computer Sci...
Current status: normal - monitoring
Number of users monitoring this page: 1
Most recent sizable change (text, html) : 2011-05-03 06:34
Most recent change (text, html) : 2011-05-03 06:34
Last checked for changes: 2012-05-26 06:32
ChangeDetection started monitoring: 2008-03-07 06:28
|
monitor this page
summary of most recent changes
|
View changes:
2011-05-03 06:34
17 new words, 4 deleted words, <1% change
|
|
... Coq Herman Geuvers, Randy Robert Pollack , Freek Wiedijk ... records in type theory Randy Robert Pollack 2002, EDI-INF-RR ... HOL John Longley and Randy Robert Pollack Sep 2004, ... records Thierry Coquand, Randy Robert Pollack and Makoto Takeyama ... 2010, EDI-INF-RR1366 Buechi Automata can have Smaller Quotients Lorenzo Clemente Apr 2011, EDI-INF-RR1399 Home : Research :
Coq Herman Geuvers, Robert Pollack , Freek Wiedijk ... records in type theory Robert Pollack 2002, EDI-INF-RR ... HOL John Longley and Robert Pollack Sep 2004, ... records Thierry Coquand, Robert Pollack and Makoto Takeyama ... 2010, EDI-INF-RR1366 Buechi Automata can have Smaller Quotients Lorenzo Clemente Apr 2011, EDI-INF-RR1399 Home : Research :
Coq Herman Geuvers, Randy Pollack , Freek Wiedijk ... records in type theory Randy Pollack 2002, EDI-INF-RR ... HOL John Longley and Randy Pollack Sep 2004, ... records Thierry Coquand, Randy Pollack and Makoto Takeyama ... Home : Research :
|
|
View changes:
2010-12-06 06:35
13 new words, 0 deleted words, <1% change
|
|
... 2009, EDI-INF-RR1331 Logics and Games for True Concurrency Julian Gutierrez Nov 2010, EDI-INF-RR1393 Multipebble Simulations for Alternating
2009, EDI-INF-RR1331 Logics and Games for True Concurrency Julian Gutierrez Nov 2010, EDI-INF-RR1393 Multipebble Simulations for Alternating
2009, EDI-INF-RR1331 ... Multipebble Simulations for Alternating
|
|
View changes:
2010-11-07 05:28
5 new words, 0 deleted words, <1% change
|
|
... 2010, EDI-INF-RR1366 Home : Research : Lfcs Please contact us with
2010, EDI-INF-RR1366 Home : Research : Lfcs Please contact us with
2010, EDI-INF-RR1366 ... Please contact us with
|
|
View changes:
2010-11-06 06:28
0 new words, 5 deleted words, <1% change
|
|
... 2010, EDI-INF-RR1366 Home : Research : Lfcs Please contact us with
2010, EDI-INF-RR1366 ... Please contact us with
2010, EDI-INF-RR1366 Home : Research : Lfcs Please contact us with
|
|
View changes:
2010-06-09 06:28
15 new words, 0 deleted words, <1% change
|
|
... 2009, EDI-INF-RR1331 Multipebble Simulations for Alternating Automata Richard Mayr and Lorenzo Clemente Aug 2010, EDI-INF-RR1376 Parikh Images of Regular
2009, EDI-INF-RR1331 Multipebble Simulations for Alternating Automata Richard Mayr and Lorenzo Clemente Aug 2010, EDI-INF-RR1376 Parikh Images of Regular
2009, EDI-INF-RR1331 ... Parikh Images of Regular
|
link to this change log
Changes to the page www.inf.ed.ac.uk/research/lfcs/publications.html are logged on this page as they are detected. You can link to this log
by pasting the HTML below into your page. It produces a link which looks like this: change log
|
|
|
Automatic website change logs and notification
|
|
|
|
|
|
|
|
|
|
|
Copyright 1999-2010 FreeFind.com.
ChangeDetection and ChangeDetection.com are trademarks of FreeFind.com.
|
|
home
faq
policies
contact
website panels
tag reference
Site search technology provided by FreeFind.com and Findia.Net net search
|