MPG.eBooks - Search Results - (( ((social exact) OR (social et)) model ) or ( social etas model ))

Search alternatives:
social exact » social effect , social etats , social email
social etas » social etats , social eclas , social era
etas model » keras model , gas model , das model
social et » social en , social e , social etats

Cover Image

1

Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers

Published 1997

Springer Berlin Heidelberg

Table of Contents: “... logic to models of second order dependent type theory -- Eta-expansions in F ? -- Cut-free display...”