search result

Cover von Special issue on the 1994 workshop on logic and computational complexity
part 2
Search for this author
Year: 1998
Publisher: San Diego, Academic Press
Series: Information and computation : 143. 1998, 2
Media group: SPECIAL ISSUE
Cover von Part 1 of a special issue on the 1994 workshop on logic and computational complexity
Search for this author
Year: 1998
Publisher: San Diego, Academic Press
Series: Information and computation : 140. 1998, 1
Media group: SPECIAL ISSUE
Cover von Logic and computational complexity
international workshop : Indianapolis, IN, USA, October 13 - 16, 1994 : selected papers
Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 960
Media group: MONOGRAPHIE
Cover von Global semantic typing for inductive and coinductive computing

Global semantic typing for inductive and coinductive computing

Year: 2013
Media group: LIPIcs
Cover von Special issue on functional programming and computational complexity; 1
S. 1-153
Search for this author
Year: 2001
Publisher: Cambridge, Cambridge University Press
Count: 1
Media group: SPECIAL ISSUE
Cover von The Ackermann Award 2017

The Ackermann Award 2017

Year: 2017
Media group: LIPIcs
Cover von ICC 99; 1
special issue : S. 1 - 137
Search for this author
Year: 2003
Publisher: San Diego, Academic Press
Count: 1
Media group: SPECIAL ISSUE
Cover von Logic, language information and computation
14th international workshop : Rio de Janeiro, Brazil, July 2 - 5, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4576
Media group: MONOGRAPHIE
Cover von Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9160
Media group: MONOGRAPHIE
OPEN V 11.1.0.0