2012

Declarative agent languages and technologies IX : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised selected and invited papers

International Workshop on Declarative Agent Languages and Technologies (9th : 2011 : Taipei, Taiwan)



 

2009

Declarative agent languages and technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, revised selected and invited papers

International Workshop on Declarative Agent Languages and Technologies (6th : 2008 : Estoril, Portugal)



 

2010

Declarative agent languages and technologies VII : 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers

International Workshop on Declarative Agent Languages and Technologies (7th : 2009 : Budapest, Hungary)



 

2011

Declarative Agent Languages and Technologies VIII : 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers

International Workshop on Declarative Agent Languages and Technologies (8th : 2010 : Toronto, Ont.)



 

2013

Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 : revised selected papers

International Workshop on Declarative Agent Languages and Technologies (10th : 2012 : Valencia, Spain)



 

2013

Études for Erlang : companion exercises for introducing Erlang

Eisenberg, J. David.



 

2009

Practical aspects of declarative languages : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009 : proceedings

PADL 2009 (2009 : Savannah, Ga.)



 

2010

Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, proceedings

PADL 2010 (2010 : Madrid, Spain)



 

2011

Practical aspects of declarative languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings

PADL (Symposium) (13th : 2011 : Austin, Tex.)



 

2012

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings

PADL (Symposium) (14th : 2012 : Philadelphia, Pa.)



 

2013

Practical aspects of declarative languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

PADL 2013 (2013 : Rome, Italy)

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 2013

 

2014

Practical aspects of declarative languages : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings

PADL (Symposium) (16th : 2014 : San Diego, Calif.)

Cham : Springer, 2014

 

2015

Practical aspects of declarative languages : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

PADL (Symposium) (17th : 2015 : Portland, Or.)

Cham : Springer, 2015

 

2016

Practical aspects of declarative languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

PADL (Symposium) (18th : 2016 : Saint Petersburg, Fla.)

Cham : Springer, 2016

 

2017

Practical aspects of declarative languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

PADL (Symposium) (19th : 2017 : Paris, France)

Cham, Switzerland : Springer, 2017

 

2018

Practical aspects of declarative languages : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings

PADL (Symposium) (20th : 2018 : Los Angeles, CA)

Cham, Switzerland : Springer, 2018

 

2019

Practical aspects of declarative languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

PADL (Symposium) (21st : 2019 : Lisbon, Portugal)

Cham, Switzerland : Springer, 2019

 

2020

Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings

PADL (Symposium) (22nd : 2020 : New Orleans, La.)

Cham : Springer, 2020

 

2021

Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, proceedings

PADL (Symposium) (23rd : 2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2022

Practical aspects of declarative languages : 24th international symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings

PADL (Symposium) (24th : 2022 : Philadelphia, PA)

Cham : Springer, [2022]

 

2023

Practical aspects of declarative languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings

PADL (Symposium) (25th : 2023 : Boston, Mass.)

Cham : Springer, [2023]

 

2010

Specification and verification of declarative open interaction models : a logic-based approach

Montali, Marco