Search Results for - Narrowed by: Fiadeiro, José Luiz. editor. - Computer science. - Mathematical Logic and Formal Languages.
SirsiDynix Enterprise
https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509Fiadeiro$00252C$002bJos$0025C3$0025A9$002bLuiz.$002beditor.$002509Fiadeiro$00252C$002bJos$0025C3$0025A9$002bLuiz.$002beditor.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300?
2024-06-20T00:13:57Z
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:512425
2024-06-20T00:13:57Z
2024-06-20T00:13:57Z
by Fiadeiro, José Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71998-4">http://dx.doi.org/10.1007/978-3-540-71998-4</a><br/>Format: Electronic Resources<br/>
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:510330
2024-06-20T00:13:57Z
2024-06-20T00:13:57Z
by Fiadeiro, José Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</a><br/>Format: Electronic Resources<br/>
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:510259
2024-06-20T00:13:57Z
2024-06-20T00:13:57Z
by Fiadeiro, José Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format: Electronic Resources<br/>