Foundationshttp://www.fnds.cs.ru.nl/fndswiki/RecentChangesRecentChanges at FoundationsFoundationsFoundationshttp://www.fnds.cs.ru.nl/fndswiki/http://www.fnds.cs.ru.nl/images/ru-eng-cmyk-a4.gifSeminarshttp://www.fnds.cs.ru.nl/fndswiki/Seminars?action=diff2012-05-15T06:49:49ZSelf:JosefUrban1337064589000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/Seminars?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/Seminars?action=infoVacancieshttp://www.fnds.cs.ru.nl/fndswiki/Vacancies?action=diff2012-05-01T13:44:20ZSelf:HermanGeuvers1335879860000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/Vacancies?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/Vacancies?action=infoValidated Function Calculus and Applications to Hybrid Systemshttp://www.fnds.cs.ru.nl/fndswiki/Validated_Function_Calculus_and_Applications_to_Hybrid_Systems?action=diff2012-04-18T13:51:29ZSelf:JosefUrban1334757089000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/Validated_Function_Calculus_and_Applications_to_Hybrid_Systems?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/Validated_Function_Calculus_and_Applications_to_Hybrid_Systems?action=infoA call-by-value λ-calculus with lists and controlhttp://www.fnds.cs.ru.nl/fndswiki/A_call-by-value_%CE%BB-calculus_with_lists_and_control?action=diff2012-04-03T15:39:15ZSelf:JosefUrban1333467555000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/A_call-by-value_%CE%BB-calculus_with_lists_and_control?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/A_call-by-value_%CE%BB-calculus_with_lists_and_control?action=infoPoint-and-write: documenting formal proof by referencehttp://www.fnds.cs.ru.nl/fndswiki/Point-and-write%3A_documenting_formal_proof_by_reference?action=diff2012-04-02T14:13:30ZSelf:JosefUrban1333376010000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/Point-and-write%3A_documenting_formal_proof_by_reference?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/Point-and-write%3A_documenting_formal_proof_by_reference?action=infoA construction of the discrete field of real algebraic numbers in Coqhttp://www.fnds.cs.ru.nl/fndswiki/A_construction_of_the_discrete_field_of_real_algebraic_numbers_in_Coq?action=diff2012-04-02T00:20:14ZSelf:JosefUrban1333326014000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/A_construction_of_the_discrete_field_of_real_algebraic_numbers_in_Coq?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/A_construction_of_the_discrete_field_of_real_algebraic_numbers_in_Coq?action=infoResearch/Learning2Reasonhttp://www.fnds.cs.ru.nl/fndswiki/Research/Learning2Reason?action=diff2012-03-21T16:29:54ZSelf:JosefUrban1332347394000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/Research/Learning2Reason?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/Research/Learning2Reason?action=infoTheoretical papershttp://www.fnds.cs.ru.nl/fndswiki/Theoretical_papers?action=diff2012-03-01T13:07:36ZSelf:HenkBarendregt1330607256000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/Theoretical_papers?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/Theoretical_papers?action=info(Classical) Logic and the Pi Calculushttp://www.fnds.cs.ru.nl/fndswiki/%28Classical%29_Logic_and_the_Pi_Calculus?action=diff2012-02-27T15:05:45ZSelf:JosefUrban1330355145000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/%28Classical%29_Logic_and_the_Pi_Calculus?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/%28Classical%29_Logic_and_the_Pi_Calculus?action=infoUsing ACL2 for the Formal Verification of on-Chip Communication Fabricshttp://www.fnds.cs.ru.nl/fndswiki/Using_ACL2_for_the_Formal_Verification_of_on-Chip_Communication_Fabrics?action=diff2012-02-13T15:23:21ZSelf:JosefUrban1329146601000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/Using_ACL2_for_the_Formal_Verification_of_on-Chip_Communication_Fabrics?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/Using_ACL2_for_the_Formal_Verification_of_on-Chip_Communication_Fabrics?action=infoClinical papershttp://www.fnds.cs.ru.nl/fndswiki/Clinical_papers?action=diff2012-02-08T10:25:45ZSelf:HenkBarendregt1328696745000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/Clinical_papers?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/Clinical_papers?action=infoFrom Mind to Turing to Mindhttp://www.fnds.cs.ru.nl/fndswiki/From_Mind_to_Turing_to_Mind?action=diff2012-02-07T12:32:56ZSelf:JosefUrban1328617976000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/From_Mind_to_Turing_to_Mind?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/From_Mind_to_Turing_to_Mind?action=infoOtherPapershttp://www.fnds.cs.ru.nl/fndswiki/OtherPapers?action=diff2012-01-28T14:21:33ZSelf:HenkBarendregt1327760493000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/OtherPapers?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/OtherPapers?action=infoFoundationalPapershttp://www.fnds.cs.ru.nl/fndswiki/FoundationalPapers?action=diff2012-01-28T12:52:38ZSelf:HenkBarendregt1327755158000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/FoundationalPapers?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/FoundationalPapers?action=infoEffective Layered Verification of Networks-on-Chipshttp://www.fnds.cs.ru.nl/fndswiki/Effective_Layered_Verification_of_Networks-on-Chips?action=diff2012-01-26T16:47:48ZSelf:JosefUrban1327596468000000updatedhttp://www.fnds.cs.ru.nl/fndswiki/Effective_Layered_Verification_of_Networks-on-Chips?action=diffhttp://www.fnds.cs.ru.nl/fndswiki/Effective_Layered_Verification_of_Networks-on-Chips?action=info