BibSonomy :: author ::

tag user group author concept BibTeX key search:all

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password: myFriends myRelations mySearch myPDF myDuplicates myBibTeX	login · register

bookmarks

XML

publications

(3)

BibTeX

RDF

other export options

previous | 1 | next

Structural Logical Relations.

Carsten Schürmann and Jeffrey Sarnat LICS 69-80 (2008)
to dblp by dblp on 2008-06-25 00:00:00
| URL | BibTeX
Capital investment and financial decisions

{Haim} Levy and {Marshall} Sarnat (1994)
to Finanzierung Kapitalanlage by fbw on 2008-05-30 16:42:01
| URL | BibTeX
The [triangle]-Calculus. Functional Programming with Higher-Order Encodings.

Carsten Schürmann and Adam Poswolsky and Jeffrey Sarnat TLCA 339-353 (2005)
to dblp by dblp on 2005-04-12 00:00:00
| URL | BibTeX

previous | 1 | next

Showing 10 items per page. Show 10, 25, 50, 100 items per page.