Equivalence to solving Boolean equation systems For the case of innite state spaces we introduced innite Boolean
A.1 Proofs of Chapter 3.
Centro Médico Accord Bialylew, Sergio Calvo, Esteban
Doval, Karina Alejandra Moyano, Luciana Verónica Schammah, Geraldine Victoria Solanet, Martín
Vidal, Marina Laura Weil, Gabriel
Azcuénaga 1014 - Recoleta tel.: 0810-888-8876
Abritta, Gloria Elsa
Senillosa 220 PB A - Caballito tel.: (011) 4903-0292
Abuin, Hugo Eduardo
Av. Cabildo 3949 1º A - Nuñez tel.: (011) 4701-4589
Aksarlian, Tomás
Barca Cabo de Hornos 6518 - Mataderos tel.: (011) 4601-6221
Altamira, Angel
Obligado 2632 7º B - Belgrano tel.: (011) 4785-3514
Alvarez Rivera, Rita Natividad Junín 1014 4º G - Recoleta tel.: (011) 4822-9114
Amaya, Luis María Facundo
Av. Santa Fe 3388 7º 48 - Palermo tel.: (011) 4823-2033
Arata, Armando
Colombres 1044 - Boedo tel.: (011) 4957-0215
Arqueta, Juan Carlos
Luis Cantilo 4753 PB 3 - Villa Devoto tel.: (011) 4568-7041
Baranzelli, María Cristina Dora
Joaquín V. González 4171 - Villa Devoto tel.: (011) 4502-4650
Barbieri, Martha Beatriz
Bolivar 494 1º 6 - San Telmo tel.: (011) 4331-9144
Bargiela, Carlos
Quirno 778 - Floresta tel.: (011) 4612-4141
Ciudad de Buenos Aires
/ CUERPO MEDICO
61
Baulos, Jorge Gustavo
Blanco Encalada 1496 1º - Belgrano tel.: (011) 4786-5727
Bello, Alfredo
Riobamba 965 PB 8 - Congreso tel.: (011) 4812-5674
Benchetrit, Guillermo
Av. del Libertador 1750 7º C - Barrio Norte tel.: (011) 4802-7542
Bernaciak, Jorge
Uruguay 1061 5º 71 - Centro tel.: (011) 4811-5858 4816-7329
Bogusevicius, María Ester
Virrey Arredondo 2474 PB C - Belgrano tel.: (011) 4781-8746
Bonino, Damián Ricardo
Bahía Blanca 3019 3º - Villa Devoto tel.: (011) 4503-1474
Borenstein, Ricardo Luis
Carlos Pellegrini 743 2º 13 - Centro tel.: (011) 4322-7711
Botindari Consoli, Jorge
Av. Monroe 5150 1º G - Villa Urquiza tel.: (011) 4523-4203 4522-5942
Bruh Pelz, Abraham Abel
Av. Lope de Vega 2772 PB - Villa Devoto tel.: (011) 4568-1051
Burbano, Miguel
Arcos 3849 PB A - Nuñez tel.: (011) 4701-1000
Bursztein, Abraham León
Paso 354 5º A - Once tel.: (011) 4952-4682
Cadenas, Ana Virginia
Matorras 228 - Caballito tel.: (011) 4924-8700
Cafferata, Alberto Mario
French 3547 6º C - Barrio Norte tel.: (011) 4804-9969
Casalnuovo, Eugenio
Diego de Olavarrieta 1590 - Mataderos tel.: (011) 4687-2556
Castiello, Gustavo Gabriel
Ambrosetti 92 5º A - Caballito tel.: (011) 4902-3692 4903-0620 Av. Almirante Brown 720 PB A - La Boca tel.: (011) 4361-7205
Centro Médico Belgrano
Av. del Libertador 8334 - Nuñez tel.: (011) 4703-2300
Cetra, Alberto
Av. Pueyrredón 1280 PB - Barrio Norte tel.: (011) 4963-3618 4961-1044
Chertkoff, Alejandro
Av. Rivadavia 4190 2º D - Caballito tel.: (011) 4981-5688
Ciordia, Irma Analía
Av. Juan Bautista Alberdi 1529 - Flores tel.: (011) 4431-0287 4988-0301
Comini, Pedro Luis
Cuenca 2575 PB 2 - Villa del Parque tel.: (011) 4502-8132
Corsaro, Genaro
Matheu 1064 - San Cristóbal tel.: (011) 4941-2932
Curbello, Halina María y Equipo
Viamonte 1677 1º H - Centro tel.: (011) 4814-5312
Dameno, Rodolfo Luis
Ciudad de la Paz 2750 1º 3 - Belgrano tel.: (011) 4785-4810
Daud, María Laura
San Juan 3017 5º 21 - San Cristóbal tel.: (011) 4932-9079 De Prado, Angeles Vidal 2016 PB 1 - Belgrano tel.: (011) 4784-8906 Viamonte 2070 1º 6 - Centro tel.: (011) 4374-0440 4832-3664
Di Trolio, Julio Jorge
Cosquín 5206 - Villa Lugano tel.: (011) 4605-1490
Dragonetti, Roque Oscar
Av. Almirante Brown 402 1º A - La Boca tel.: (011) 4362-1242
Duhart, Juan Enrique
Peña 2222 4º 35 - Recoleta tel.: (011) 4806-8985
Ciudad de Buenos Aires
/ CUERPO MEDICO
62
Enrico, Edgardo Pablo
Gascón 697 4º 20 - Almagro tel.: (011) 4864-7267
Feldman, Néstor Luis
Av. Crámer 3518 2º A - Nuñez tel.: (011) 4701-3151
Gral. Lucio Mansilla 2450 PB A - Recoleta tel.: (011) 4962-3213
Fernández Montes, Mercedes Amanda
Av. Rivadavia 5012 3º - Caballito tel.: (011) 4903-2794
Frischknecht, Laura
Campana 3757 - Villa del Parque tel.: (011) 4501-2627
Gaglio, María Romina
Av. Scalabrini Ortiz 2356 3º A Palermo
tel.: (011) 4831-9842
Garavaglia, Horacio Alejandro
Bº Gral. Savio, Monoblock 38 3º B Lugano 1 y 2 - Villa Lugano tel.: (011) 4605-1474
Garcia Espina, Edgardo Rubén
Av. Coronel Díaz 1552 1º 1 - Palermo tel.: (011) 4823-7089
Garcia, Silvia Noemí
Beauchef 257 3º 4 - Caballito tel.: (011) 4904-0152
Ghigliazza, Horacio
Av. Callao 322 9º D - Congreso tel.: (011) 4371-6199 4373-0180
Graizman, Ernesto Raúl
11 de Septiembre 2140 7º N - Belgrano tel.: (011) 4786-3243
Guinecin, Jorge
Av. Cabildo 1277 4º A - Belgrano tel.: (011) 4781-8795/1563
Gullo, Humberto Carmelo
Av. Rivadavia 5170 6º B - Caballito tel.: (011) 4903-4149
Gutfraind, Ernesto
Emilio Mitre 75 PB E - Caballito tel.: (011) 4431-1163 Kahn, Pedro Moldes 1918 1° A - Belgrano tel.: (011) 4784-2072 4787-4379 Kelly, Raúl Junín 1631 2º C - Recoleta tel.: (011) 4803-4331
Kogan, José Leonardo
Pieres 378 - Liniers tel.: (011) 4642-2375
Kramarz, Julio
Camarones 2915 - Villa del Parque tel.: (011) 4583-9743 156-4645515
Kremer, Pedro Ariel
Av. Acoyte 175 1º D - Caballito tel.: (011) 5901-2943
Lagomarsino, Roberto
Roque Pérez 3663 - Coghlan tel.: (011) 4542-9847
Lancioni, Gustavo Alejandro
Vuelta de Obligado 3737 1º A - Nuñez tel.: (011) 4702-2160
Lanzafame, Angel Gaspar Francisco
Av. Gaona 2751 1º F - Flores tel.: (011) 4584-5668
Larguia, Alfredo
Montevideo 1769 PB B - Barrio Norte tel.: (011) 4815-1066
Latorre, Raúl
Av. Rivadavia 3033 PB 3 - Once tel.: (011) 4863-4494 4865-4255 Vallejos 3175 PB 1 - Villa Pueyrredón tel.: (011) 4571-2808
Lecuenis, Graciela
Av. Entre Ríos 464 2º C - Congreso tel.: (011) 4383-3387
Leonhardt, Gustavo
Av. Santa Fe 2843 4º H (Fondo) Barrio Norte
tel.: (011) 4825-7518
López Fernández, Gabriel
Virrey Olaguer y Feliú 2468 PB B Belgrano
tel.: (011) 4786-7894
López, Oscar Jorge
Sarmiento 1272 3º -Centro tel.: (011) 4307-1137
Santiago del Estero 286 3º 10 - Centro tel.: (011) 4307-1137
Ciudad de Buenos Aires
/ CUERPO MEDICO
63 Marty, Alberto Av. Independencia 1984 PB A San Cristóbal tel.: (011) 4942-5701Meza, María Virginia
Av. Scalabrini Ortiz 2356 3º A Palermo
tel.: (011) 4831-9842
Morello, Rodolfo Santiago
Montevideo 1738 PB - Recoleta tel.: 4813-6465/7158
Moyano, Luciana Verónica
Azcuénaga 1014 - Recoleta tel.: 0810-888-8876
Novello, Norma
Av. Rivadavia 5141 1º F - Caballito tel.: (011) 4903-0326
Odzak, Andrea Natalia
Av. José María Moreno 40 3º - Caballito tel.: (011) 4902-5760 4904-1368
Otero y Garzón, Guillermo Carlos
Malabia 2137 13º C - Palermo tel.: (011) 4832-3143 4902-3077
Pardo, Noemí Mariel
Larrea 1035 5º B - Barrio Norte tel.: (011) 4821-3732 4822-6370
Piola, Ricardo
Heredia 1286 - Belgrano tel.: (011) 4551-4040
Piscitelli, Rodolfo
Av. Santa Fe 1179 5º A - Barrio Norte tel.: (011) 4811-7500 4302-9073 4816-5450
Plotquin, Raúl
Av. Gaona 2945 8º 27 - Flores tel.: (011) 4582-8544
Pszmiarower, Santiago
Av. Independencia 735 1º A - Monserrat tel.: (011) 4361-5995
Radatti, Silvia Beatriz
Av. Belgrano 1735 4º A - Centro tel.: (011) 4381-4149
Re, Laura
Av. Corrientes 1965 PB B - Congreso tel.: (011) 4953-5051/8472
Real, Mónica
Av. Pueyrredón 1362 9º E - Barrio Norte tel.: (011) 4822-5906
Junín 933 6º B - Barrio Norte tel.: (011) 4961-8780
Rodríguez, Alberto Oscar
Av. San Martín 2336 1º A - Paternal tel.: (011) 4581-3249
Rosenbaum, Guillermo
Av. Castañares 5038/40 - Mataderos tel.: (011) 4601-4326
Rosenblit, Cinthia
Baragaña 2324 PB - Villa Pueyrredón tel.: (011) 4572-8040/4997
Rotmistrovsky, Daniel Guillermo
Virrey del Pino 2458 4° A - Belgrano tel.: (011) 4781-8660/8813
Salvatore, Carlos Alberto
Tucumán 2162 8º C - Congreso tel.: (011) 4372-0929
Sampo, Eduardo
Cuba 2628 2º D - Belgrano tel.: (011) 4785-9409/9777
Santos, Javier Alejandro (Geriatría) Larrea 1028 1º - Barrio Norte tel.: (011) 4825-1366
Schapira, Bernardo
Arenales 1909 5º C - Recoleta tel.: (011) 4813-6059
Servienti, Julio Alberto
Av. Cabildo 1478 2º 18 - Belgrano tel.: (011) 4785-7393
Solé, Verónica Edith
Centro Médico Dr. Solé Av. Riestra 5950 - Villa Lugano tel.: (011) 4638-7804 4602-7139
Surraco, José María
Av. Santa Fe 3996 7º 81 - Palermo tel.: (011) 4831-8394
Sztainberg, Elisabeth Rosana
Av. Santa Fe 3946 1º E - Palermo tel.: (011) 4832-6044
Tarruella, María Cristina
Av. Martín García 638 2º A - La Boca tel.: (011) 4362-5024
Tortonese, Juan
José Bonifacio 2727 - Parque Chacabuco tel.: (011) 4613-1022 4581-9625
Ciudad de Buenos Aires
/ CUERPO MEDICO
64
Travaglini, Marcela Sandra
Charlone 124 - Villa Urquiza tel.: (011) 4552-6096
Trombetta, Luis Angel
Pte. José E. Uriburu 1076 PB 4 Barrio Norte
tel.: (011) 4822-5181
Villani, María Emilia
Av. Rivadavia 6242 5º E - Flores tel.: (011) 4633-8556
Waisman, Juan José
Beazley 3967 1º B - Pompeya tel.: (011) 4911-0709
Wischnivetzky, Alfredo César
Lavalle 3643 7º C - Almagro tel.: (011) 4863-1161
Yahni, Víctor
Charcas 3391 4º cons. 41 - Palermo tel.: (011) 4821-2777 4826-7171
Zárate, Graciela
Palestina 1030 - Almagro tel.: (011) 4866-3000
DERMATOLOGIA
Centro Médico Accord Charas, Gastón Daniel Charas, Karina Vanesa
Azcuénaga 1014 - Recoleta tel.: 0810-888-8876
Alma, Viviana Luisa
Av. Santa Fe 2843 2º H - Recoleta tel.: (011) 4823-2724 4824-6891
Apicella, Yolanda Graciela
Mendoza 2281 5º C - Belgrano tel.: (011) 4787-9508 4785-8802
Bugnard, Adriana
Av. Santa Fe 1970 5º E - Barrio Norte tel.: (011) 4816-1960
Charas, Gastón Lionel
Av. Corrientes 1515 1º C - Centro tel.: (011) 4867-0764 4823-8394
Charas, Karina Vanesa
Av. Corrientes 1515 1º C - Centro tel.: (011) 4867-0764 4823-8394
Cohen Sabban, Emilia Noemí
Arenales 1446 1º C - Recoleta tel.: (011) 4811-2948 Cozzi, Rodolfo Amenábar 1526 1º 5 - Belgrano tel.: (011) 4781-3978 De Carli, Eduardo
Av. Rivadavia 3033 PB 3 - Once tel.: (011) 4865-4255 4863-4494
De la Fuente, Graciela
Tucumán 1424 2º C - Balvanera tel.: (011) 4375-0337 4371-4294
Di Prinzio, Luis Antonio
Av. Rivadavia 6747 12º 114 - Flores tel.: (011) 4632-9576 4633-9004
Drago, Rosa
Rosario 17 1º B - Caballito tel.: (011) 5901-4145
Firmano, Andrea Noemí
Av. Díaz Vélez 4528 4º 14 - Almagro tel.: (011) 4982-9085
Garcia Bazarra, María Laura
Mariano Acha 2394 - Villa Urquiza tel.: (011) 4544-4938
Gómez, Anahí Etel
Av. Rivadavia 5170 8º A - Caballito tel.: (011) 4902-9316 4903-9197
Gómez, José Luis
Mendoza 2281 5º C - Belgrano tel.: (011) 4785-8802 4787-9508
Iglesias, Patricia
Centro Dermatológico Integral Moliere 1401 - Villa Luro tel.: (011) 4568-7891 4639-5355 4641-5258
Koll, Norma Edith
Congreso 2366 - Belgrano tel.: (011) 4781-9926
Manzur, María Elena
Av. Triunvirato 4311 3º C - Villa Urquiza tel.: (011) 4523-7987
Mazzei, Ana María
Av. Rivadavia 5141 1º F - Caballito tel.: (011) 4903-0326
Monnereau, Mónica
Pje. Rodolfo Rivarola 111 5º 14 - Centro tel.: (011) 4382-9633 4372-2387
Morales, María Susana
Av. Rivadavia 5141 1º F - Caballito tel.: (011) 4903-0326
Ciudad de Buenos Aires
/ CUERPO MEDICO
65
Oxila, Mario Rodolfo
Paraná 950 PB - Centro
tel.: (011) 4815-3169 4812-5777 Castro Barros 210 PB - Almagro tel.: (011) 4981-2360
Rieber, Alicia
Av. Acoyte 76 4º B - Caballito tel.: (011) 4901-5198 4902-2307
Vidal Pich, Enrique
Av. Rivadavia 6127 1º F - Flores tel.: (011) 4632-6991/7097 4631-0460
Villalba, Lidia Inés y Equipo
Av. del Libertador 930 2º 2º Cuerpo Recoleta
tel.: (011) 4812-1498
Wagner Prskavec, Alejandra Emilce
Vuelta de Obligado 1118 - Belgrano tel.: (011) 4784-5715