572:
558:
411:
419:
205:. He currently teaches and does research at the University, where he runs a project, "breaking away", with Patricia Baggett; the project, using hands-on activities, aims at raising high-school students' interest in
341:
442:, Grzegorz Rozenberg, Arto Salomaa (Eds.): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Lecture Notes in Computer Science 1261 Springer 1997,
602:
354:
328:
371:
632:
617:
607:
470:
239:
612:
627:
622:
530:
191:
175:
514:
447:
305:
291:
277:
235:
202:
108:
179:
597:
539:
567:
376:
359:
346:
333:
592:
60:
390:
587:
187:
183:
81:
412:"The 80th Birthday Symposium for Andrzej Ehrenfeucht, Distinguished Professor of Computer Science"
466:"Formal and Natural Computing: Honoring the 80th Birthday of Andrzej Ehrenfeucht (Special Issue)"
231:, spoke at a 2012 University of Colorado two-day symposium honoring Ehrenfeucht's 80th birthday.
228:
163:
510:
498:
443:
367:
301:
287:
273:
120:
502:
479:
324:
198:
115:
543:
159:
154:
71:
557:
220:
130:
571:
298:
The Theory of 2-Structures: A Framework for
Decomposition and Transformation of Graphs
581:
439:
251:
536:
268:
Andrzej
Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg,
224:
216:
134:
206:
98:
484:
465:
210:
342:"An Application of Games to the Completeness Problem for Formalized Theories"
563:
234:
Two journal issues have come out in his honor, one at his 65th birthday in
17:
451:
56:
548:
284:
Breaking Away from the Math Book: Creative
Projects for Grades K-6
552:
197:
In 1971 Ehrenfeucht was a founding member of the
Department of
317:
372:"Models of Axiomatic Theories Admitting Automorphisms"
270:
Computation in Living Cells: Gene
Assembly in Ciliates
296:
126:
114:
104:
94:
77:
67:
39:
32:
227:. They, with Harold Gabow, Ross McConnell, and
8:
570:
556:
190:thesis. Also named for Ehrenfeucht is the
29:
603:People from Wilno Voivodeship (1926–1939)
483:
537:Breaking away from the mathbook website
403:
282:Patricia Baggett, Andrzej Ehrenfeucht,
223:, contributed to the sequencing of the
633:University of Colorado Boulder faculty
329:"A Characterization of Abelian Groups"
618:Polish emigrants to the United States
153:
7:
608:20th-century American mathematicians
509:, Cambridge University Press, 2004.
363:, vol. 44, no. 2, 1957, pp. 241-248.
350:, vol. 49, no. 2, 1960, pp. 129-141.
337:, vol. 51, no. 2, 1962, pp. 141-147.
174:Andrzej Ehrenfeucht formulated the
380:, 1956, vol. 43, no. 1, pp. 50-68.
355:"On Theories Categorical in Power"
27:Polish American computer scientist
25:
236:Lecture Notes in Computer Science
203:University of Colorado at Boulder
109:University of Colorado at Boulder
464:Rozenberg, G. (5 October 2012).
452:pages I-X available for download
215:Two of Ehrenfeucht's students,
416:University of Colorado Boulder
192:Ehrenfeucht–Mycielski sequence
1:
568:Mathematics Genealogy Project
533:at the University of Colorado
507:Alfred Tarski: Life and Logic
613:American computer scientists
471:Theoretical Computer Science
240:Theoretical Computer Science
155:[ˈand.ʐɛjˈɛrɛnfɔjxt]
628:University of Warsaw alumni
158:, born 8 August 1932) is a
649:
623:Polish computer scientists
318:Wirtualna Biblioteka Nauki
300:, World Scientific, 1999,
485:10.1016/j.tcs.2012.07.015
238:, and one at his 80th in
140:
87:
254:'s daughter Ina Tarski.
176:Ehrenfeucht–Fraïssé game
598:Scientists from Vilnius
377:Fundamenta Mathematicae
360:Fundamenta Mathematicae
347:Fundamenta Mathematicae
334:Fundamenta Mathematicae
327:, Andrzej Ehrenfeucht,
531:Ehrenfeucht's website
454:. Accessed 04-29-2009
366:Andrzej Ehrenfeucht,
353:Andrzej Ehrenfeucht,
340:Andrzej Ehrenfeucht,
180:back-and-forth method
555:Bibliography Server
316:(accessible through
250:Ehrenfeucht married
82:University of Warsaw
564:Andrzej Ehrenfeucht
549:Andrzej Ehrenfeucht
147:Andrzej Ehrenfeucht
34:Andrzej Ehrenfeucht
542:2010-03-10 at the
272:, Springer, 2004,
229:Grzegorz Rozenberg
164:computer scientist
162:mathematician and
499:Anita B. Feferman
368:Andrzej Mostowski
144:
143:
127:Doctoral students
121:Andrzej Mostowski
89:Scientific career
16:(Redirected from
640:
574:
560:
518:
503:Solomon Feferman
496:
490:
489:
487:
461:
455:
437:
431:
430:
428:
427:
418:. Archived from
408:
325:Chen Chung Chang
199:Computer Science
157:
152:
116:Doctoral advisor
53:
49:
47:
30:
21:
648:
647:
643:
642:
641:
639:
638:
637:
578:
577:
544:Wayback Machine
527:
522:
521:
497:
493:
463:
462:
458:
438:
434:
425:
423:
410:
409:
405:
400:
387:
314:
265:
260:
248:
172:
160:Polish-American
150:
133:
78:Alma mater
72:Polish American
63:
54:
51:
45:
43:
35:
28:
23:
22:
15:
12:
11:
5:
646:
644:
636:
635:
630:
625:
620:
615:
610:
605:
600:
595:
590:
580:
579:
576:
575:
561:
546:
534:
526:
525:External links
523:
520:
519:
517:, pp. 239–242.
491:
456:
432:
402:
401:
399:
396:
395:
394:
386:
383:
382:
381:
364:
351:
338:
313:
310:
309:
308:
294:
280:
264:
261:
259:
256:
247:
244:
221:David Haussler
184:Roland Fraïssé
171:
168:
142:
141:
138:
137:
131:David Haussler
128:
124:
123:
118:
112:
111:
106:
102:
101:
96:
92:
91:
85:
84:
79:
75:
74:
69:
65:
64:
55:
50:August 8, 1932
41:
37:
36:
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
645:
634:
631:
629:
626:
624:
621:
619:
616:
614:
611:
609:
606:
604:
601:
599:
596:
594:
593:Living people
591:
589:
586:
585:
583:
573:
569:
565:
562:
559:
554:
550:
547:
545:
541:
538:
535:
532:
529:
528:
524:
516:
515:0-521-80240-7
512:
508:
504:
500:
495:
492:
486:
481:
477:
473:
472:
467:
460:
457:
453:
449:
448:3-540-63246-8
445:
441:
440:Jan Mycielski
436:
433:
422:on 2016-03-04
421:
417:
413:
407:
404:
397:
393:– Mathematics
392:
391:List of Poles
389:
388:
384:
379:
378:
373:
369:
365:
362:
361:
356:
352:
349:
348:
343:
339:
336:
335:
330:
326:
323:
322:
321:
319:
311:
307:
306:981-02-4042-2
303:
299:
295:
293:
292:1-56676-299-5
289:
285:
281:
279:
278:3-540-40795-2
275:
271:
267:
266:
262:
257:
255:
253:
252:Alfred Tarski
245:
243:
241:
237:
232:
230:
226:
222:
218:
213:
212:
208:
204:
200:
195:
193:
189:
185:
181:
177:
169:
167:
165:
161:
156:
148:
139:
136:
132:
129:
125:
122:
119:
117:
113:
110:
107:
103:
100:
97:
93:
90:
86:
83:
80:
76:
73:
70:
66:
62:
58:
52:(age 92)
42:
38:
31:
19:
506:
494:
475:
469:
459:
435:
424:. Retrieved
420:the original
415:
406:
375:
358:
345:
332:
315:
297:
283:
269:
258:Bibliography
249:
246:Private life
233:
225:human genome
217:Eugene Myers
214:
196:
178:, using the
173:
146:
145:
135:Eugene Myers
105:Institutions
88:
588:1932 births
211:technology.
207:mathematics
99:Mathematics
68:Nationality
18:Ehrenfeucht
582:Categories
426:2012-08-19
398:References
46:1932-08-08
478:: 1–180.
182:given in
540:Archived
385:See also
566:at the
201:at the
151:Polish:
513:
446:
312:Papers
304:
290:
276:
95:Fields
61:Poland
263:Books
57:Wilno
553:DBLP
511:ISBN
501:and
444:ISBN
302:ISBN
288:ISBN
274:ISBN
219:and
209:and
170:Life
40:Born
551:at
480:doi
476:457
188:PhD
186:'s
166:.
584::
505:,
474:.
468:.
450:,
414:.
374:,
370:,
357:,
344:,
331:,
320:)
286:,
242:.
194:.
59:,
48:)
488:.
482::
429:.
149:(
44:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.