Separating Functional Computation from Relations. Gérard, U. & Miller, D. In Goranko, V. & Dam, M., editors, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), volume 82, of LIPIcs, pages 23:1–23:17, 2017. doi bibtex @inproceedings{gerard17csl,
author = {Ulysse G\'erard and Dale Miller},
title = {Separating Functional Computation from Relations},
booktitle = {26th EACSL Annual Conference on Computer Science Logic
(CSL 2017)},
year = {2017},
editor = {Valentin Goranko and Mads Dam},
volume = {82},
series = {LIPIcs},
pages = {23:1--23:17},
doi = {10.4230/LIPIcs.CSL.2017.23}
}
Downloads: 0
{"_id":"kMLbCyDM3M2DpA4Aj","bibbaseid":"grard-miller-separatingfunctionalcomputationfromrelations-2017","author_short":["Gérard, U.","Miller, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ulysse"],"propositions":[],"lastnames":["Gérard"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Separating Functional Computation from Relations","booktitle":"26th EACSL Annual Conference on Computer Science Logic (CSL 2017)","year":"2017","editor":[{"firstnames":["Valentin"],"propositions":[],"lastnames":["Goranko"],"suffixes":[]},{"firstnames":["Mads"],"propositions":[],"lastnames":["Dam"],"suffixes":[]}],"volume":"82","series":"LIPIcs","pages":"23:1–23:17","doi":"10.4230/LIPIcs.CSL.2017.23","bibtex":"@inproceedings{gerard17csl,\n author = {Ulysse G\\'erard and Dale Miller},\n title = {Separating Functional Computation from Relations},\n booktitle = {26th EACSL Annual Conference on Computer Science Logic\n (CSL 2017)},\n year = {2017},\n editor = {Valentin Goranko and Mads Dam},\n volume = {82},\n series = {LIPIcs},\n pages = {23:1--23:17},\n doi = {10.4230/LIPIcs.CSL.2017.23}\n}\n\n","author_short":["Gérard, U.","Miller, D."],"editor_short":["Goranko, V.","Dam, M."],"key":"gerard17csl","id":"gerard17csl","bibbaseid":"grard-miller-separatingfunctionalcomputationfromrelations-2017","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["separating","functional","computation","relations","gérard","miller"],"title":"Separating Functional Computation from Relations","year":2017}