researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2002
2008
Filter by Tag
Filter by Author
Filter by Top terms
[+]
OR
AND
NOT
1
2002
2004
26
5
copenhagen
cork
denmark
event
floc
fourth
frameworks
international
ireland
july
languages
lfm
lfm@ijcar
logical
meta
workshop
LFM (lfm)
Editions
Publications
Viewing Publication 1 - 2 from 2
2008
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004
Carsten Schürmann
, editor,
Volume 199 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2008.
[doi]
2002
International Workshop on Logical Frameworks and Meta-Languages, LFM 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002
Frank Pfenning
, editor,
Volume 70 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2002.
[doi]
Sign in
or
sign up
to see more results.