Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 235

> Home > Journals > Information and Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 235, April 2014

Special issue on Functional and (Constraint) Logic Programming
Editorial

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/EscobarF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/EscobarF14
Santiago Escobar, Moreno Falaschi:
Functional and (Constraint) Logic Programming. 1-2

Articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/MontenegroPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/MontenegroPS14
Manuel Montenegro, Ricardo Peña, Clara Segura:
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation. 3-35
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Lopez-FraguasMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Lopez-FraguasMR14
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
Safe typing of functional logic programs with opaque patterns and local bindings. 36-69
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LeuschelV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LeuschelV14
Michael Leuschel, Germán Vidal:
Fast offline partial evaluation of logic programs. 70-97
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AlpuenteEEM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AlpuenteEEM14
María Alpuente, Santiago Escobar, Javier Espert, José Meseguer:
A modular order-sorted equational generalization algorithm. 98-136

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.