CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgr:
Journal_of_Logic_and_Computation
Property
Value
rdf:
type
Formal methods publication
owl:
NamedIndividual
Bimonthly journal
English-language journal
Publication established in 1990
Oxford University Press academic journal
Computer science journal
Logic journal
rdfs:
label
Journal of Logic and Computation
owl:
sameAs
dbr:
Journal_of_Logic_and_Computation
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Oxford_University_Press_academic_journals
http://en.wikipedia.org/wiki/Ray_Turner_(computer_scientist)
http://en.wikipedia.org/wiki/Category:Bimonthly_journals
http://en.wikipedia.org/wiki/Category:English-language_journals
http://en.wikipedia.org/wiki/Category:Publications_established_in_1990
http://en.wikipedia.org/wiki/Informatics
http://en.wikipedia.org/wiki/Category:Computer_science_journals
http://en.wikipedia.org/wiki/List_of_computer_science_journals
http://en.wikipedia.org/wiki/Category:Formal_methods_publications
http://en.wikipedia.org/wiki/Category:Logic_journals
http://en.wikipedia.org/wiki/List_of_logic_journals
skos:
prefLabel
Journal of Logic and Computation
clgo:
abbreviation
J. Log. Comput.
clgo:
academicDiscipline
Computer science
Engineering
Philosophy
Logic
clgo:
country
United Kingdom
clgo:
editor
Dov Gabbay
clgo:
firstPublicationYear
1990
clgo:
frequencyOfPublication
Bimonthly
clgo:
issn
0955-792X
1465-363X
clgo:
publisher
Oxford University Press