![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Applied Logic, Volume 10
Volume 10, Number 1, March 2012
- Laura Kovács
, Temur Kutsia
:
Special issue on Automated Specification and Verification of Web Systems. 1
- Rosario Pugliese
, Francesco Tiezzi:
A calculus for orchestration of web services. 2-31 - Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov:
Translating regular expression matching into transducers. 32-51
- Renate A. Schmidt
:
The Ackermann approach for modal logic, correspondence theory and second-order reduction. 52-74 - Sven Ove Hansson:
Eradication. 75-84 - Elisabetta Pastori:
A note on two of Hrushovskiʼs constructions. 85-91 - Giuseppe Primiero
, Mariarosaria Taddeo:
A modal type theory for formalizing trusted communications. 92-114 - Stephen A. Selesnick, Gareth S. Owen
:
Quantum-like logics and schizophrenia. 115-126 - Adel Bouhoula, Florent Jacquemard:
Sufficient completeness verification for conditional and constrained TRS. 127-143 - Achim Blumensath:
Locality and modular Ehrenfeucht-Fraïssé games. 144-162
Volume 10, Number 2, June 2012
- Roger Villemaire, Sylvain Hallé
:
Reasoning about visibility. 163-178 - Benedikt Bollig, Dietrich Kuske:
An optimal construction of Hanf sentences. 179-186 - Mariusz Zynel
:
Correlations of spaces of pencils. 187-198 - Murdoch James Gabbay
:
Unity in nominal equational reasoning: The algebra of equality on nominal sets. 199-217
Volume 10, Number 3, September 2012
- Daniel Rönnedal:
Temporal alethic-deontic logic and semantic tableaux. 219-237 - Roberta Ballarin:
Quine on intensional entities: Modality and quantification, truth and satisfaction. 238-249 - Roberta Ballarin:
Opacity and the double life of singular propositions. 250-259 - Philippe Balbiani
:
Deciding the word problem in pure double Boolean algebras. 260-273
Volume 10, Number 4, December 2012
- Emilio Corchado, Ajith Abraham, Václav Snásel, Javier Sedano, José Luís Calvo-Rolle
, Laura García-Hernandez
:
Selected papers from the 6th International Conference on Soft Computing Models in Industrial and Environmental Applications. 275-276 - Aboul Ella Hassanien
, Tai-Hoon Kim:
Breast cancer MRI diagnosis approach using support vector machine and pulse coupled neural networks. 277-284 - Manuel J. C. S. Reis
, Raul Morais
, Emanuel Peres
, Carlos Pereira, Olga Contente
, Salviano F. S. P. Soares
, António Valente
, José Baptista
, Paulo Jorge S. G. Ferreira, José Bulas-Cruz:
Automatic detection of bunches of grapes in natural environment from color images. 285-290 - María Jesús Jiménez-Come, Eva Muñoz, Rosa García, Victoria Matres, M. Luz Martín, Francisco Trujillo, Ignacio J. Turias
:
Pitting corrosion behaviour of austenitic stainless steel using artificial intelligence techniques. 291-297 - Andrés Sanz-García
, Alpha V. Pernía-Espinoza
, R. Fernández-Martínez, Francisco J. Martínez de Pisón Ascacibar:
Combining genetic algorithms and the finite element method to improve steel industrial processes. 298-308
- Simon Wells
, C. A. Reed:
A domain specific language for describing diverse systems of dialogue. 309-329 - Alwen Tiu, Alberto Momigliano
:
Cut elimination for a logic with induction and co-induction. 330-367 - Bruno Courcelle, Irène Durand:
Automata for the verification of monadic second-order graph properties. 368-409 - Imen Bourguiba, Belaid Moa:
Improving the semantics of the Software Cost Reduction method. 410-418 - Silvio do Lago Pereira, Leliane Nunes de Barros:
A planner agent that tries its best in presence of nondeterminism. 419-430 - Wenyan Xu, Sanyang Liu:
The countable versus uncountable branching recurrences in computability logic. 431-446
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.