Searching for authors named "Merlijn Sevenster" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Partially ordered connectives and Σ 1 1 on finite models
by Merlijn Sevenster, Tero Tulenheimo — 2006 — Proceedings of the 2nd Computability in Europe Conference (CiE 2006), Logical Approaches to Computational Barriers, volume LNCS 3988
…Partially ordered connectives and Σ 1 1 on finite models Merlijn Sevenster 1,⋆ and Tero Tulenheimo…
Cited by 1 (1 self) – Add To MetaCart

ILLC-Day 2 in Bonn "Language"
by Bernhard Schröder, Robert van Rooy, Participants Stefan Bold, Patrick Braselmann, Lucas Champollion, Stephan Cursiefen, Paul Dekker, Bernhard Fisseni, Julia Grodel, Tanja Hötte, Peter Koepke, Benedikt Löwe, Michael Möllerfeld, Martin Müller, Henrik Nordmark, Oren Schwartz, Brian Semmes, Merlijn Sevenster, Jip Veldman, Charlotte Wollermann, Henk Zeevat, Henk Zeevat — 2004
…-Christian Schmitz, Bernhard Schröder, Katrin Schulz, Oren Schwartz, Brian Semmes, Merlijn Sevenster, Jip Veldman…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB