Author/Creator: Alechina, Natasha - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Alechina, Natasha

1. A Method for Matching Crowd‐sourced and Authoritative Geospatial Data. Issue 2 (9th May 2016)

Authors:: Du, Heshan; Alechina, Natasha; Jackson, Michael; Hart, Glen
Journal:: Transactions in GIS
Issue:: Volume 21:Issue 2(2017)
Page Start:: 406
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Alternating-time temporal logic with resource bounds. (12th June 2015)

Authors:: Nguyen, Hoang Nga; Alechina, Natasha; Logan, Brian; Rakib, Abdur
Journal:: Journal of logic and computation
Issue:: Volume 28:Number 4(2018)
Page Start:: 631
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Coalition logic with individual, distributed and common knowledge. (15th August 2018)

Authors:: Ågotnes, Thomas; Alechina, Natasha
Journal:: Journal of logic and computation
Issue:: Volume 29:Number 7(2019)
Page Start:: 1041
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Intuitionistic Modal Logic: A 15-year retrospective. (12th June 2015)

Authors:: Stewart, Charles; de Paiva, Valeria; Alechina, Natasha
Journal:: Journal of logic and computation
Issue:: Volume 28:Number 5(2018)
Page Start:: 873
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Intuitionistic Modal Logic: A 15-year retrospective. (12th June 2015)

Authors:: Stewart, Charles; de Paiva, Valeria; Alechina, Natasha
Journal:: Journal of logic and computation
Issue:: Volume 28:Number 5(2018)
Page Start:: 873
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. SMT-LH: A New Satisfiability Modulo Theory-Based Technique for Solving Vehicle Routing Problem with Time Window Constraints. (11th January 2019)

Authors:: Rizkallah, Lydia W; Ahmed, Mona F; Darwish, Nevin M
Editors:: Alechina, Natasha
Journal:: Computer journal
Issue:: Volume 63:Number 1(2020)
Page Start:: 91
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗