Výsledky vyhľadávania - "Kirkeby, Maja H."

Special Issue on Computer Systems and Resource Awareness Editorial.

Autori: Rakić, Gordana Kirkeby, Maja H. Iyenghar, Padma a ďalší

Zdroj: Computer Science & Information Systems; Apr2025, Vol. 22 Issue 2, pi-iv, 4p

On proving confluence modulo equivalence for Constraint Handling Rules

Autori: Christiansen, Henning Kirkeby, Maja H.

Zdroj: Formal Aspects of Computing ; volume 29, issue 1, page 57-95 ; ISSN 0934-5043 1433-299X

Dostupnosť: https://doi.org/10.1007/s00165-016-0396-9
http://link.springer.com/content/pdf/10.1007/s00165-016-0396-9.pdf
http://link.springer.com/article/10.1007/s00165-016-0396-9/fulltext.html
https://dl.acm.org/doi/pdf/10.1007/s00165-016-0396-9

Confluence Modulo Equivalence in Constraint Handling Rules.

Autori: Christiansen, Henning Kirkeby, Maja H.

Zdroj: Logic-Based Program Synthesis & Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers; 2015, p41-58, 18p

BackMatter.

Zdroj: Foundational & Practical Aspects of Resource Analysis (9783319465586); 2016, p127-127, 1p

BackMatter.

Zdroj: Logic-Based Program Synthesis & Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers; 2015, p333-333, 1p

Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice

Autori: Dominic Orchard Tomas Petricek Jeremy Singer

Typ zdroja: eBook.

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General

Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Autori: Josep Silva

Typ zdroja: eBook.

Predmet: Computer science, Computer programming, Compilers (Computer programs), Artificial intelligence

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General

Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Autori: Fred Mesnard Peter J. Stuckey

Typ zdroja: eBook.

Predmet: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Artificial intelligence, Machine theory

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Autori: Fabio Fioravanti John P. Gallagher

Typ zdroja: eBook.

Predmet: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Artificial intelligence, Machine theory

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Autori: Marko van Eekelen Ugo Dal Lago

Typ zdroja: eBook.

Predmet: Application software, Electronic digital computers—Evaluation, Computer science—Mathematics, Mathematical statistics, Computer science, Software engineering, Computer simulation

Kategórie: COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation, MATHEMATICS / Probability & Statistics / General

Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Autori: Maurizio Proietti Hirohisa Seki

Typ zdroja: eBook.

Predmet: Computer science, Software engineering, Machine theory, Artificial intelligence, Computer science—Mathematics, Discrete mathematics

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics