The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Erik Barendsen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Erik Barendsen, Sjaak Smetsers
    Extending Graph Rewriting with Copying. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:51-70 [Conf]
  2. Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
    Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:358-379 [Conf]
  3. Erik Barendsen, Sjaak Smetsers
    Uniqueness Typing in Natural Deduction Style. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:1- [Conf]
  4. Erik Barendsen, Sjaak Smetsers
    Conventional and Uniqueness Typing in Graph Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1993, pp:41-51 [Conf]
  5. Erik Barendsen, Sjaak Smetsers
    Uniqueness Type Inference [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:189-206 [Conf]
  6. Erik Barendsen, Marc Bezem
    Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1996, v:79, n:3, pp:221-280 [Journal]
  7. Erik Barendsen, Sjaak Smetsers
    A derivation system for uniqueness typing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  8. Henk Barendregt, Erik Barendsen
    Autarkic Computations in Formal Proofs. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:28, n:3, pp:321-336 [Journal]
  9. Erik Barendsen
    An Unsolvable Numeral System in lambda Calculus. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:3, pp:367-372 [Journal]
  10. Erik Barendsen, Sjaak Smetsers
    Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:579-612 [Journal]
  11. Herman Geuvers, Erik Barendsen
    Some logical and syntactical observations concerning the first-order dependent type system lambda-P. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:335-359 [Journal]

  12. Integrating Action Research and System Dynamics: Towards a Generic Process Design for Participative Modelling. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002