Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_methods_publications> }
Showing triples 1 to 14 of
14
with 100 triples per page.
- Acta_Informatica wikiPageWikiLink Category:Formal_methods_publications.
- Formal_Aspects_of_Computing wikiPageWikiLink Category:Formal_methods_publications.
- Innovations_in_Systems_and_Software_Engineering wikiPageWikiLink Category:Formal_methods_publications.
- Journal_of_Automated_Reasoning wikiPageWikiLink Category:Formal_methods_publications.
- Journal_of_Logic_and_Computation wikiPageWikiLink Category:Formal_methods_publications.
- Logical_Methods_in_Computer_Science wikiPageWikiLink Category:Formal_methods_publications.
- Unifying_Theories_of_Programming wikiPageWikiLink Category:Formal_methods_publications.
- Acta_Informatica subject Category:Formal_methods_publications.
- Formal_Aspects_of_Computing subject Category:Formal_methods_publications.
- Innovations_in_Systems_and_Software_Engineering subject Category:Formal_methods_publications.
- Journal_of_Automated_Reasoning subject Category:Formal_methods_publications.
- Journal_of_Logic_and_Computation subject Category:Formal_methods_publications.
- Logical_Methods_in_Computer_Science subject Category:Formal_methods_publications.
- Unifying_Theories_of_Programming subject Category:Formal_methods_publications.