Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Jan_Bergstra> ?p ?o }
- Jan_Bergstra abstract "Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.".
- Jan_Bergstra birthDate "1951".
- Jan_Bergstra birthPlace Netherlands.
- Jan_Bergstra birthPlace Rotterdam.
- Jan_Bergstra birthYear "1951".
- Jan_Bergstra wikiPageExternalLink mjb00.html.
- Jan_Bergstra wikiPageExternalLink j.a.bergstra.
- Jan_Bergstra wikiPageID "8136798".
- Jan_Bergstra wikiPageLength "7169".
- Jan_Bergstra wikiPageOutDegree "43".
- Jan_Bergstra wikiPageRevisionID "677446126".
- Jan_Bergstra wikiPageWikiLink Abstract_data_type.
- Jan_Bergstra wikiPageWikiLink Academia_Europaea.
- Jan_Bergstra wikiPageWikiLink Addison-Wesley.
- Jan_Bergstra wikiPageWikiLink Addison_Wesley.
- Jan_Bergstra wikiPageWikiLink Algebra_of_Communicating_Processes.
- Jan_Bergstra wikiPageWikiLink Amsterdam_University.
- Jan_Bergstra wikiPageWikiLink Category:1951_births.
- Jan_Bergstra wikiPageWikiLink Category:Academics_of_Swansea_University.
- Jan_Bergstra wikiPageWikiLink Category:Dutch_computer_scientists.
- Jan_Bergstra wikiPageWikiLink Category:Formal_methods_people.
- Jan_Bergstra wikiPageWikiLink Category:Leiden_University_faculty.
- Jan_Bergstra wikiPageWikiLink Category:Living_people.
- Jan_Bergstra wikiPageWikiLink Category:Members_of_Academia_Europaea.
- Jan_Bergstra wikiPageWikiLink Category:People_from_Rotterdam.
- Jan_Bergstra wikiPageWikiLink Category:Philips_employees.
- Jan_Bergstra wikiPageWikiLink Category:University_of_Amsterdam_faculty.
- Jan_Bergstra wikiPageWikiLink Category:Utrecht_University_alumni.
- Jan_Bergstra wikiPageWikiLink Category:Utrecht_University_faculty.
- Jan_Bergstra wikiPageWikiLink Centrum_Wiskunde_&_Informatica.
- Jan_Bergstra wikiPageWikiLink Dirk_van_Dalen.
- Jan_Bergstra wikiPageWikiLink Elsevier.
- Jan_Bergstra wikiPageWikiLink European_Strategic_Program_on_Research_in_Information_Technology.
- Jan_Bergstra wikiPageWikiLink Formal_Aspects_of_Computing.
- Jan_Bergstra wikiPageWikiLink Formal_methods.
- Jan_Bergstra wikiPageWikiLink Jan_Willem_Klop.
- Jan_Bergstra wikiPageWikiLink John_V._Tucker.
- Jan_Bergstra wikiPageWikiLink Jos_Baeten.
- Jan_Bergstra wikiPageWikiLink Journal_of_Logic_and_Algebraic_Programming.
- Jan_Bergstra wikiPageWikiLink Journal_of_Logical_and_Algebraic_Methods_in_Programming.
- Jan_Bergstra wikiPageWikiLink Journal_of_the_ACM.
- Jan_Bergstra wikiPageWikiLink Leiden_University.
- Jan_Bergstra wikiPageWikiLink Mark_Burgess_(computer_scientist).
- Jan_Bergstra wikiPageWikiLink Mathematics.
- Jan_Bergstra wikiPageWikiLink Netherlands.
- Jan_Bergstra wikiPageWikiLink Oslo_University_College.
- Jan_Bergstra wikiPageWikiLink Philips.
- Jan_Bergstra wikiPageWikiLink Process_algebra.
- Jan_Bergstra wikiPageWikiLink Process_calculus.
- Jan_Bergstra wikiPageWikiLink Promise_theory.
- Jan_Bergstra wikiPageWikiLink Rotterdam.
- Jan_Bergstra wikiPageWikiLink Software_engineering.
- Jan_Bergstra wikiPageWikiLink Swansea_University.
- Jan_Bergstra wikiPageWikiLink University_of_Amsterdam.
- Jan_Bergstra wikiPageWikiLink Utrecht_University.
- Jan_Bergstra wikiPageWikiLinkText "Jan Bergstra".
- Jan_Bergstra dateOfBirth "1951".
- Jan_Bergstra hasPhotoCollection Jan_Bergstra.
- Jan_Bergstra name "Bergstra, Jan".
- Jan_Bergstra placeOfBirth Netherlands.
- Jan_Bergstra placeOfBirth Rotterdam.
- Jan_Bergstra shortDescription "Computer scientist".
- Jan_Bergstra wikiPageUsesTemplate Template:Authority_control.
- Jan_Bergstra wikiPageUsesTemplate Template:Citation_needed.
- Jan_Bergstra wikiPageUsesTemplate Template:Cite_book.
- Jan_Bergstra wikiPageUsesTemplate Template:More_footnotes.
- Jan_Bergstra wikiPageUsesTemplate Template:Persondata.
- Jan_Bergstra wikiPageUsesTemplate Template:Reflist.
- Jan_Bergstra description "Computer scientist".
- Jan_Bergstra description "Computer scientist".
- Jan_Bergstra subject Category:1951_births.
- Jan_Bergstra subject Category:Academics_of_Swansea_University.
- Jan_Bergstra subject Category:Dutch_computer_scientists.
- Jan_Bergstra subject Category:Formal_methods_people.
- Jan_Bergstra subject Category:Leiden_University_faculty.
- Jan_Bergstra subject Category:Living_people.
- Jan_Bergstra subject Category:Members_of_Academia_Europaea.
- Jan_Bergstra subject Category:People_from_Rotterdam.
- Jan_Bergstra subject Category:Philips_employees.
- Jan_Bergstra subject Category:University_of_Amsterdam_faculty.
- Jan_Bergstra subject Category:Utrecht_University_alumni.
- Jan_Bergstra subject Category:Utrecht_University_faculty.
- Jan_Bergstra hypernym Scientist.
- Jan_Bergstra type Agent.
- Jan_Bergstra type Article.
- Jan_Bergstra type List.
- Jan_Bergstra type Person.
- Jan_Bergstra type Scientist.
- Jan_Bergstra type Article.
- Jan_Bergstra type Employee.
- Jan_Bergstra type List.
- Jan_Bergstra type Member.
- Jan_Bergstra type Method.
- Jan_Bergstra type Scientist.
- Jan_Bergstra type Person.
- Jan_Bergstra type Agent.
- Jan_Bergstra type NaturalPerson.
- Jan_Bergstra type Thing.
- Jan_Bergstra type Q215627.
- Jan_Bergstra type Q5.