ask others

Journal of Applied Logic, Volume 21

> Home > Journals > Journal of Applied Logic

Volume 21, May 2017

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/japll/ChiangDLLY17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/japll/ChiangDLLY17
Alvin Chiang, Esther David, Yuh-Jye Lee, Guy Leshem, Yi-Ren Yeh:
A study on anomaly detection ensembles. 1-13
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/japll/Francez17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/japll/Francez17
Nissim Francez:
On harmony and permuting conversions. 14-23
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/japll/McCabe-DanstedR17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/japll/McCabe-DanstedR17
John Christopher McCabe-Dansted, Mark Reynolds:
Rewrite rules for CTL. 24-56
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/japll/Olkhovikov17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/japll/Olkhovikov17
Grigory K. Olkhovikov:
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. 57-90

maintained by

at